Dave is furry. Dave is green. Dave is white. All green people are blue. If Dave is blue then Dave is red.
Dave is blue.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is white.[(triple3)] @1: Dave is blue.[(((triple2) -> rule1))] @2: Dave is red.[(((((triple2) -> rule1)) -> rule2))]