Anne is cold. Anne is kind. Anne is red. Anne is round. Erin is kind. Erin is smart. Erin is white. Round things are blue. All red, round things are white. All kind things are white. If Anne is white then Anne is smart. All smart things are red. Blue things are red.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((((triple4) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule4)) -> rule5))] Anne is round.[(triple4)] Erin is kind.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule3))] @1: Anne is blue.[(((triple4) -> rule1))] Anne is white.[(((triple2) -> rule3) OR ((triple3 triple4) -> rule2) OR ((((((triple4) -> rule1)) -> rule6) triple4) -> rule2))] Erin is red.[(((triple6) -> rule5))] @2: Anne is smart.[(((((triple2) -> rule3)) -> rule4) OR ((((triple3 triple4) -> rule2)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule2)) -> rule4))]