Erin is rough. If Erin is rough then Erin is white. All rough things are big. Big, round things are furry. Big, rough things are furry. If something is round then it is furry. If something is white and rough then it is young.
Erin is not furry.
@0: Erin is rough.[(triple1)] @1: Erin is big.[(((triple1) -> rule2))] Erin is white.[(((triple1) -> rule1))] @2: Erin is furry.[(((((triple1) -> rule2) triple1) -> rule4))] Erin is young.[(((((triple1) -> rule1) triple1) -> rule6))]