Anne is furry. Anne is round. Erin is blue. Erin is furry. Erin is kind. Erin is round. Erin is white. Kind things are round. If something is round then it is blue.
Anne is kind.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Erin is blue.[(triple3 OR ((triple6) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6 OR ((triple5) -> rule1))] Erin is white.[(triple7)] @1: Anne is blue.[(((triple2) -> rule2))]