Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is white. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is smart. Erin is cold. Erin is kind. Erin is red. All blue people are red. Blue people are white. If Dave is kind then Dave is smart. Cold people are smart. If someone is white and cold then they are blue. If someone is cold then they are blue.
Anne is not smart.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple7 triple2) -> rule5))] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((triple7 triple2) -> rule5)) -> rule1))] Anne is smart.[(triple6 OR ((triple2) -> rule4))] Anne is white.[(triple7 OR ((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] Dave is blue.[(triple8 OR ((triple9) -> rule6))] Dave is cold.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is red.[(triple12 OR ((triple8) -> rule1) OR ((((triple9) -> rule6)) -> rule1))] Dave is smart.[(triple13 OR ((triple11) -> rule3) OR ((triple9) -> rule4))] Erin is cold.[(triple14)] Erin is kind.[(triple15)] Erin is red.[(triple16 OR ((((triple14) -> rule6)) -> rule1))] @1: Dave is white.[(((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Erin is blue.[(((triple14) -> rule6))] Erin is smart.[(((triple14) -> rule4))] @2: Erin is white.[(((((triple14) -> rule6)) -> rule2))]