Dave is green. Dave is nice. Dave is young. If Dave is nice then Dave is furry. Furry, green things are red.
Dave is not smart.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] @1: Dave is furry.[(((triple2) -> rule1))] @2: Dave is red.[(((((triple2) -> rule1) triple1) -> rule2))]