Erin is smart. All rough, smart things are nice. All rough things are blue. If something is red and rough then it is blue. Smart things are rough. If Erin is furry then Erin is smart. If something is blue then it is young.
Erin is young.
@0: Erin is smart.[(triple1)] @1: Erin is rough.[(((triple1) -> rule4))] @2: Erin is blue.[(((((triple1) -> rule4)) -> rule2))] Erin is nice.[(((((triple1) -> rule4) triple1) -> rule1))] @3: Erin is young.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))]