Gary is big. Gary is blue. Gary is smart. Gary is white. Harry is not cold. Harry is furry. Harry is smart. If something is white and green then it is cold. If something is blue then it is furry. If Gary is furry then Gary is green.
Harry is not smart.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is smart.[(triple3)] Gary is white.[(triple4)] Harry is furry.[(triple6)] Harry is not cold.[(triple5)] Harry is smart.[(triple7)] @1: Gary is furry.[(((triple2) -> rule2))] @2: Gary is green.[(((((triple2) -> rule2)) -> rule3))] @3: Gary is cold.[(((triple4 ((((triple2) -> rule2)) -> rule3)) -> rule1))]