Anne is cold. Anne is furry. Anne is nice. Anne is white. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is round. Erin is white. All round people are blue. Cold people are red. If someone is red then they are round.
Anne is not blue.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is white.[(triple4)] Erin is blue.[(triple5 OR ((triple9) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3)) -> rule1))] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is red.[(triple8 OR ((triple6) -> rule2))] Erin is round.[(triple9 OR ((triple8) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Erin is white.[(triple10)] @1: Anne is red.[(((triple1) -> rule2))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]