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 not 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))]