Anne is smart. Gary is young. Harry is not round. If something is blue then it is red. If something is young then it is green. Green things are blue.
Anne is not green.
@0: Anne is smart.[(triple1)] Gary is young.[(triple2)] Harry is not round.[(triple3)] @1: Gary is green.[(((triple2) -> rule2))] @2: Gary is blue.[(((((triple2) -> rule2)) -> rule3))] @3: Gary is red.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]