Dave is young. Erin is furry. Harry is young. Blue, young things are furry. All young things are blue. If something is furry then it is white.
Harry is rough.
@0: Dave is young.[(triple1)] Erin is furry.[(triple2)] Harry is young.[(triple3)] @1: Dave is blue.[(((triple1) -> rule2))] Erin is white.[(((triple2) -> rule3))] Harry is blue.[(((triple3) -> rule2))] @2: Dave is furry.[(((((triple1) -> rule2) triple1) -> rule1))] Harry is furry.[(((((triple3) -> rule2) triple3) -> rule1))] @3: Dave is white.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule3))] Harry is white.[(((((((triple3) -> rule2) triple3) -> rule1)) -> rule3))]