Anne is cold. Anne is nice. Anne is white. Dave is blue. Dave is cold. Dave is quiet. Dave is round. Dave is smart. Dave is white. Erin is cold. Erin is quiet. Erin is round. Gary is cold. Gary is nice. Gary is round. If someone is round then they are nice. All cold people are nice. Quiet, white people are cold. If Dave is nice then Dave is smart. If Erin is smart and Erin is nice then Erin is white. Blue, cold people are smart.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule2))] Anne is white.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple6 triple9) -> rule3))] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple4 triple5) -> rule6) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple7) -> rule1)) -> rule4) OR ((triple4 ((triple6 triple9) -> rule3)) -> rule6) OR ((((((triple6 triple9) -> rule3)) -> rule2)) -> rule4))] Dave is white.[(triple9)] Erin is cold.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12)] Gary is cold.[(triple13)] Gary is nice.[(triple14 OR ((triple13) -> rule2) OR ((triple15) -> rule1))] Gary is round.[(triple15)] @1: Dave is nice.[(((triple5) -> rule2) OR ((triple7) -> rule1) OR ((((triple6 triple9) -> rule3)) -> rule2))] Erin is nice.[(((triple10) -> rule2) OR ((triple12) -> rule1))]