Erin is green. If someone is blue and rough then they are young. If Erin is smart and Erin is round then Erin is blue. Rough people are young. If Erin is round then Erin is young. All green people are round. Young, green people are nice.
Erin is round.
@0: Erin is green.[(triple1)] @1: Erin is round.[(((triple1) -> rule5))] @2: Erin is young.[(((((triple1) -> rule5)) -> rule4))] @3: Erin is nice.[(((((((triple1) -> rule5)) -> rule4) triple1) -> rule6))]