Erin is rough. Harry is furry. Young things are furry. Rough things are young. All young, red things are furry. If something is smart then it is rough. If something is round and cold then it is young. If something is young then it is smart.
Harry is furry.
@0: Erin is rough.[(triple1)] Harry is furry.[(triple2)] @1: Erin is young.[(((triple1) -> rule2))] @2: Erin is furry.[(((((triple1) -> rule2)) -> rule1))] Erin is smart.[(((((triple1) -> rule2)) -> rule6))]