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