Dave is white. White things are blue. If Dave is furry then Dave is rough. Blue things are furry.
Dave is rough.
@0: Dave is white.[(triple1)] @1: Dave is blue.[(((triple1) -> rule1))] @2: Dave is furry.[(((((triple1) -> rule1)) -> rule3))] @3: Dave is rough.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]