Anne is blue. Anne is round. Anne is smart. Bob is green. Bob is red. Charlie is round. Erin is cold. Erin is green. Erin is round. Erin is smart. All red things are green. If something is smart and cold then it is green. If something is round then it is cold. Green things are young. If something is blue and red then it is green. If Erin is smart then Erin is red. All young, cold things are round. If something is smart and young then it is red.
Erin is not blue.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Bob is green.[(triple4 OR ((triple5) -> rule1))] Bob is red.[(triple5)] Charlie is round.[(triple6)] Erin is cold.[(triple7 OR ((triple9) -> rule3))] Erin is green.[(triple8 OR ((triple10 triple7) -> rule2) OR ((((triple10) -> rule6)) -> rule1) OR ((triple10 ((triple9) -> rule3)) -> rule2))] Erin is round.[(triple9 OR ((((triple8) -> rule4) triple7) -> rule7) OR ((((((triple10 triple7) -> rule2)) -> rule4) triple7) -> rule7) OR ((((((((triple10) -> rule6)) -> rule1)) -> rule4) triple7) -> rule7))] Erin is smart.[(triple10)] @1: Anne is cold.[(((triple2) -> rule3))] Bob is young.[(((triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] Charlie is cold.[(((triple6) -> rule3))] Erin is red.[(((triple10) -> rule6) OR ((triple10 ((triple8) -> rule4)) -> rule8) OR ((triple10 ((((triple10 triple7) -> rule2)) -> rule4)) -> rule8) OR ((triple10 ((((triple10 ((triple9) -> rule3)) -> rule2)) -> rule4)) -> rule8))] Erin is young.[(((triple8) -> rule4) OR ((((triple10 triple7) -> rule2)) -> rule4) OR ((((((triple10) -> rule6)) -> rule1)) -> rule4) OR ((((triple10 ((triple9) -> rule3)) -> rule2)) -> rule4))] @2: Anne is green.[(((triple3 ((triple2) -> rule3)) -> rule2))] @3: Anne is young.[(((((triple3 ((triple2) -> rule3)) -> rule2)) -> rule4))] @4: Anne is red.[(((triple3 ((((triple3 ((triple2) -> rule3)) -> rule2)) -> rule4)) -> rule8))]