Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Gary is furry. Gary is rough. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Smart, rough things are young. All young things are furry. If Harry is furry then Harry is cold. Cold, quiet things are young. All quiet, rough things are blue. Quiet, cold things are rough.
Gary is cold.
@0: Anne is blue.[(triple1 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple4 triple2) -> rule6)) -> rule5))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple7) -> rule2) OR ((((triple2 triple4) -> rule4)) -> rule2) OR ((((triple6 triple5) -> rule1)) -> rule2) OR ((((triple6 ((triple4 triple2) -> rule6)) -> rule1)) -> rule2))] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple4 triple2) -> rule6))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple4) -> rule4) OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple4 triple2) -> rule6)) -> rule1))] Gary is furry.[(triple8 OR ((triple11) -> rule2) OR ((((triple10 triple9) -> rule1)) -> rule2))] Gary is rough.[(triple9)] Gary is smart.[(triple10)] Gary is young.[(triple11 OR ((triple10 triple9) -> rule1))] Harry is cold.[(triple12 OR ((triple13) -> rule3))] Harry is furry.[(triple13 OR ((((triple12 triple14) -> rule4)) -> rule2))] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((triple14 triple12) -> rule6) OR ((triple14 ((triple13) -> rule3)) -> rule6))] @1: Harry is blue.[(((triple14 triple15) -> rule5) OR ((triple14 ((triple14 triple12) -> rule6)) -> rule5) OR ((triple14 ((triple14 ((triple13) -> rule3)) -> rule6)) -> rule5))] Harry is young.[(((triple12 triple14) -> rule4) OR ((((triple13) -> rule3) triple14) -> rule4))]