Anne is nice. Dave is green. Fiona is quiet. Harry is not furry. All green people are blue. Blue people are red.
Dave is red.
@0: Anne is nice.[(triple1)] Dave is green.[(triple2)] Fiona is quiet.[(triple3)] Harry is not furry.[(triple4)] @1: Dave is blue.[(((triple2) -> rule1))] @2: Dave is red.[(((((triple2) -> rule1)) -> rule2))]