Erin is blue. If Erin is big and Erin is green then Erin is rough. If Erin is smart and Erin is rough then Erin is young. If something is big then it is green. White things are big. If something is blue then it is big. If something is big and not white then it is young.
Erin is blue.
@0: Erin is blue.[(triple1)] @1: Erin is big.[(((triple1) -> rule5))] @2: Erin is green.[(((((triple1) -> rule5)) -> rule3))] @3: Erin is rough.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule1))]