Anne is furry. Erin is round. Gary is green. Harry is blue. All white things are round. If Gary is white and Gary is green then Gary is blue. Green things are white.
Harry is furry.
@0: Anne is furry.[(triple1)] Erin is round.[(triple2)] Gary is green.[(triple3)] Harry is blue.[(triple4)] @1: Gary is white.[(((triple3) -> rule3))] @2: Gary is blue.[(((((triple3) -> rule3) triple3) -> rule2))] Gary is round.[(((((triple3) -> rule3)) -> rule1))]