Gary is blue. Harry is cold. Round people are blue. Smart people are cold. Cold people are smart. If someone is cold and smart then they are young. If someone is smart and young then they are round. All young, round people are red. If Harry is round then Harry is cold. Cold, kind people are round.
Gary is not blue.
@0: Gary is blue.[(triple1)] Harry is cold.[(triple2)] @1: Harry is smart.[(((triple2) -> rule3))] @2: Harry is young.[(((triple2 ((triple2) -> rule3)) -> rule4))] @3: Harry is round.[(((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule4)) -> rule5))] @4: Harry is blue.[(((((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule4)) -> rule5)) -> rule1))] Harry is red.[(((((triple2 ((triple2) -> rule3)) -> rule4) ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule4)) -> rule5)) -> rule6))]