Gary is blue. Harry is big. Harry is round. If someone is nice then they are round. All kind, nice people are round. Blue people are cold. If someone is cold and big then they are blue. If someone is blue then they are big. If Gary is cold and Gary is big then Gary is nice.
Gary is not blue.
@0: Gary is blue.[(triple1)] Harry is big.[(triple2)] Harry is round.[(triple3)] @1: Gary is big.[(((triple1) -> rule5))] Gary is cold.[(((triple1) -> rule3))] @2: Gary is nice.[(((((triple1) -> rule3) ((triple1) -> rule5)) -> rule6))] @3: Gary is round.[(((((((triple1) -> rule3) ((triple1) -> rule5)) -> rule6)) -> rule1))]