Anne is blue. Anne is green. Anne is red. Anne is smart. Erin is big. Erin is blue. Erin is cold. Erin is white. Harry is big. Harry is cold. All blue people are smart. All smart people are cold. If someone is red then they are smart. Blue, white people are big. If someone is big then they are white. All smart people are blue. If someone is green then they are blue. Smart, cold people are green.
Erin is red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule7) OR ((triple4) -> rule6) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((triple4) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((((triple3) -> rule3)) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule2)) -> rule8)) -> rule7))] Anne is green.[(triple2 OR ((triple4 ((triple4) -> rule2)) -> rule8) OR ((((triple1) -> rule1) ((triple4) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((triple4) -> rule2)) -> rule8) OR ((triple4 ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple4 ((((triple3) -> rule3)) -> rule2)) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule2)) -> rule8))] Anne is red.[(triple3)] Anne is smart.[(triple4 OR ((triple1) -> rule1) OR ((triple3) -> rule3) OR ((((triple2) -> rule7)) -> rule1))] Erin is big.[(triple5 OR ((triple6 triple8) -> rule4))] Erin is blue.[(triple6)] Erin is cold.[(triple7 OR ((((triple6) -> rule1)) -> rule2))] Erin is white.[(triple8 OR ((triple5) -> rule5))] Harry is big.[(triple9)] Harry is cold.[(triple10)] @1: Anne is cold.[(((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule7)) -> rule1)) -> rule2))] Erin is smart.[(((triple6) -> rule1))] Harry is white.[(((triple9) -> rule5))] @2: Erin is green.[(((((triple6) -> rule1) triple7) -> rule8) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule8))]