Gary is cold. Gary is round. Gary is smart. Harry is cold. Harry is furry. Harry is red. Harry is round. Harry is smart. Harry is white. Harry is young. White things are red. Smart things are furry. Furry, round things are white.
Gary is white.
@0: Gary is cold.[(triple1)] Gary is round.[(triple2)] Gary is smart.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5 OR ((triple8) -> rule2))] Harry is red.[(triple6 OR ((triple9) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule1) OR ((((((triple8) -> rule2) triple7) -> rule3)) -> rule1))] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple5 triple7) -> rule3) OR ((((triple8) -> rule2) triple7) -> rule3))] Harry is young.[(triple10)] @1: Gary is furry.[(((triple3) -> rule2))] @2: Gary is white.[(((((triple3) -> rule2) triple2) -> rule3))] @3: Gary is red.[(((((((triple3) -> rule2) triple2) -> rule3)) -> rule1))]