Erin is big. Erin is blue. Erin is green. Erin is rough. Erin is round. Erin is white. Erin is young. If Erin is blue then Erin is big. If something is big then it is rough. If something is rough then it is young.
Erin is not young.
@0: Erin is big.[(triple1 OR ((triple2) -> rule1))] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is rough.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))]