Gary is red. If someone is round and red then they are cold. Red people are green. Red, green people are round.
Gary is not young.
@0: Gary is red.[(triple1)] @1: Gary is green.[(((triple1) -> rule2))] @2: Gary is round.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Gary is cold.[(((((triple1 ((triple1) -> rule2)) -> rule3) triple1) -> rule1))]