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