Anne is white. Erin is blue. If something is blue and smart then it is red. If Anne is white then Anne is quiet. Red things are furry. If something is white then it is furry. If Anne is furry then Anne is smart. If something is white then it is blue.
Anne is white.
@0: Anne is white.[(triple1)] Erin is blue.[(triple2)] @1: Anne is blue.[(((triple1) -> rule6))] Anne is furry.[(((triple1) -> rule4))] Anne is quiet.[(((triple1) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule4)) -> rule5))] @3: Anne is red.[(((((triple1) -> rule6) ((((triple1) -> rule4)) -> rule5)) -> rule1))]