Anne is green. Dave is young. Erin is big. Harry is green. If something is big then it is green. If something is green then it is blue. Big things are red.
Harry is green.
@0: Anne is green.[(triple1)] Dave is young.[(triple2)] Erin is big.[(triple3)] Harry is green.[(triple4)] @1: Anne is blue.[(((triple1) -> rule2))] Erin is green.[(((triple3) -> rule1))] Erin is red.[(((triple3) -> rule3))] Harry is blue.[(((triple4) -> rule2))] @2: Erin is blue.[(((((triple3) -> rule1)) -> rule2))]