Anne is nice. Bob is cold. Bob is not furry. Bob is red. Bob is rough. Charlie is round. Gary is quiet. Gary is red. Gary is rough. Gary is round. All rough, round things are nice. If Bob is red and Bob is furry then Bob is rough. Quiet, red things are cold. All round, cold things are furry. Round things are quiet. Quiet, red things are round.
Anne is not red.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Bob is not furry.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Charlie is round.[(triple6)] Gary is quiet.[(triple7 OR ((triple10) -> rule5))] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10 OR ((triple7 triple8) -> rule6))] @1: Charlie is quiet.[(((triple6) -> rule5))] Gary is cold.[(((triple7 triple8) -> rule3) OR ((((triple10) -> rule5) triple8) -> rule3))] Gary is nice.[(((triple9 triple10) -> rule1) OR ((triple9 ((triple7 triple8) -> rule6)) -> rule1))] @2: Gary is furry.[(((triple10 ((triple7 triple8) -> rule3)) -> rule4) OR ((((triple7 triple8) -> rule6) ((triple7 triple8) -> rule3)) -> rule4) OR ((triple10 ((((triple10) -> rule5) triple8) -> rule3)) -> rule4) OR ((((triple7 triple8) -> rule6) ((((triple10) -> rule5) triple8) -> rule3)) -> rule4))]