Erin is rough. Erin is white. Erin is young. All white things are furry. If Erin is smart and Erin is young then Erin is white. Quiet things are furry. All white things are red. If something is rough then it is furry. If something is young and rough then it is white.
Erin is not quiet.
@0: Erin is rough.[(triple1)] Erin is white.[(triple2 OR ((triple3 triple1) -> rule6))] Erin is young.[(triple3)] @1: Erin is furry.[(((triple1) -> rule5) OR ((triple2) -> rule1) OR ((((triple3 triple1) -> rule6)) -> rule1))] Erin is red.[(((triple2) -> rule4) OR ((((triple3 triple1) -> rule6)) -> rule4))]