Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is smart. Gary is blue. Gary is furry. Gary is kind. Gary is smart. Gary is young. If Anne is smart then Anne is furry. Furry, round things are blue. All blue, kind things are smart.
Gary is not cold.
@0: Anne is blue.[(triple1 OR ((triple2 triple4) -> rule2) OR ((((triple5) -> rule1) triple4) -> rule2))] Anne is furry.[(triple2 OR ((triple5) -> rule1) OR ((((triple1 triple3) -> rule3)) -> rule1))] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple1 triple3) -> rule3) OR ((((triple2 triple4) -> rule2) triple3) -> rule3))] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9 OR ((triple6 triple8) -> rule3))] Gary is young.[(triple10)]