Anne is not blue. Anne is cold. Anne is white. Bob is cold. Bob is nice. Dave is blue. Dave is green. Dave is nice. Erin is big. Erin is cold. Erin is not green. Erin is white. If something is white and nice then it is cold. If something is blue then it is not cold. If Bob is big and Bob is not nice then Bob is not green. If something is nice then it is big. If something is cold and not white then it is smart. All green, blue things are smart. If something is white and not cold then it is smart. If something is cold then it is smart.
Dave is green.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is white.[(triple3)] Bob is cold.[(triple4)] Bob is nice.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is not green.[(triple11)] Erin is white.[(triple12)] @1: Anne is smart.[(((triple2) -> rule8))] Bob is big.[(((triple5) -> rule4))] Bob is smart.[(((triple4) -> rule8))] Dave is big.[(((triple8) -> rule4))] Dave is not cold.[(((triple6) -> rule2))] Dave is smart.[(((triple7 triple6) -> rule6))] Erin is smart.[(((triple10) -> rule8))]