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.
Erin is not white.
@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))]