Bob is cold. Bob is kind. Bob is nice. Bob is rough. Bob is round. Charlie is cold. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. If Charlie is rough then Charlie is green. If someone is cold then they are quiet. If Bob is quiet and Bob is nice then Bob is rough. Cold, nice people are quiet. If Fiona is nice and Fiona is kind then Fiona is cold. If Fiona is cold and Fiona is green then Fiona is nice.
Charlie is not kind.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple3) -> rule3))] Bob is round.[(triple5)] Charlie is cold.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10 OR ((triple7) -> rule2) OR ((triple7 ((triple7 triple8) -> rule6)) -> rule4))] @1: Bob is quiet.[(((triple1) -> rule2) OR ((triple1 triple3) -> rule4))] Charlie is quiet.[(((triple6) -> rule2))] Fiona is nice.[(((triple7 triple8) -> rule6))]