Anne is furry. Anne is round. Erin is nice. Smart people are nice. If Anne is round then Anne is blue. If Anne is blue then Anne is cold. Round people are quiet. Quiet, cold people are nice. If Erin is furry and Erin is cold then Erin is blue.
Anne is not smart.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Erin is nice.[(triple3)] @1: Anne is blue.[(((triple2) -> rule2))] Anne is quiet.[(((triple2) -> rule4))] @2: Anne is cold.[(((((triple2) -> rule2)) -> rule3))] @3: Anne is nice.[(((((triple2) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule5))]