Anne is quiet. Dave is red. Erin is green. All blue things are smart. If Erin is green then Erin is blue. If something is quiet then it is blue.
Dave is blue.
@0: Anne is quiet.[(triple1)] Dave is red.[(triple2)] Erin is green.[(triple3)] @1: Anne is blue.[(((triple1) -> rule3))] Erin is blue.[(((triple3) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule1))] Erin is smart.[(((((triple3) -> rule2)) -> rule1))]