Charlie is green. Erin is red. Gary is white. Harry is young. If something is green and furry then it is young. If something is young and green then it is big. All red, big things are green. White things are green. If Harry is big then Harry is green. Green things are red.
Gary is green.
@0: Charlie is green.[(triple1)] Erin is red.[(triple2)] Gary is white.[(triple3)] Harry is young.[(triple4)] @1: Charlie is red.[(((triple1) -> rule6))] Gary is green.[(((triple3) -> rule4))] @2: Gary is red.[(((((triple3) -> rule4)) -> rule6))]