Anne is cold. Anne is green. Anne is young. Dave is cold. Dave is smart. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is smart. Harry is cold. Harry is green. Nice people are blue. Young, smart people are cold. Cold people are white. Nice, smart people are young. If someone is cold and green then they are nice. All white, smart people are young. If someone is young and smart then they are blue. If someone is young and cold then they are white.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Erin is blue.[(triple6 OR ((triple9) -> rule1) OR ((((triple7 triple8) -> rule5)) -> rule1) OR ((((triple9 triple10) -> rule4) triple10) -> rule7) OR ((((((triple7) -> rule3) triple10) -> rule6) triple10) -> rule7) OR ((((((triple7 triple8) -> rule5) triple10) -> rule4) triple10) -> rule7))] Erin is cold.[(triple7 OR ((((triple9 triple10) -> rule4) triple10) -> rule2))] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple7 triple8) -> rule5))] Erin is smart.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] @1: Anne is nice.[(((triple1 triple2) -> rule5))] Anne is white.[(((triple1) -> rule3) OR ((triple3 triple1) -> rule8))] Dave is white.[(((triple4) -> rule3))] Erin is white.[(((triple7) -> rule3) OR ((((triple9 triple10) -> rule4) triple7) -> rule8) OR ((((((triple9 triple10) -> rule4) triple10) -> rule2)) -> rule3) OR ((((((triple7 triple8) -> rule5) triple10) -> rule4) triple7) -> rule8) OR ((((triple9 triple10) -> rule4) ((((triple9 triple10) -> rule4) triple10) -> rule2)) -> rule8) OR ((((((triple7 triple8) -> rule5) triple10) -> rule4) ((((triple9 triple10) -> rule4) triple10) -> rule2)) -> rule8))] Erin is young.[(((triple9 triple10) -> rule4) OR ((((triple7) -> rule3) triple10) -> rule6) OR ((((triple7 triple8) -> rule5) triple10) -> rule4))] Harry is nice.[(((triple11 triple12) -> rule5))] Harry is white.[(((triple11) -> rule3))] @2: Anne is blue.[(((((triple1 triple2) -> rule5)) -> rule1))] Dave is young.[(((((triple4) -> rule3) triple5) -> rule6))] Harry is blue.[(((((triple11 triple12) -> rule5)) -> rule1))] @3: Dave is blue.[(((((((triple4) -> rule3) triple5) -> rule6) triple5) -> rule7))]