Erin is young. Gary is round. If Erin is young then Erin is white. All big, nice people are young. Round people are green. All round people are green. All round, big people are nice. If someone is green then they are white.
Erin is round.
@0: Erin is young.[(triple1)] Gary is round.[(triple2)] @1: Erin is white.[(((triple1) -> rule1))] Gary is green.[(((triple2) -> rule3) OR ((triple2) -> rule4))] @2: Gary is white.[(((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4)) -> rule6))]