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