Anne is cold. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Bob is cold. Bob is green. Bob is kind. Bob is rough. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Erin is green. Erin is quiet. Erin is smart. Kind, green things are cold. If something is nice and kind then it is cold. Quiet, green things are nice. All smart, rough things are green. All cold, rough things are kind. If Bob is rough and Bob is green then Bob is kind. If Erin is rough and Erin is green then Erin is cold. If something is nice and smart then it is rough.
Anne is not nice.
@0: Anne is cold.[(triple1 OR ((triple2 ((triple5 triple4) -> rule4)) -> rule1) OR ((((triple3 ((triple5 triple4) -> rule4)) -> rule3) triple2) -> rule2))] Anne is kind.[(triple2 OR ((triple1 triple4) -> rule5))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is cold.[(triple6 OR ((triple8 triple7) -> rule1) OR ((((triple9 triple7) -> rule6) triple7) -> rule1))] Bob is green.[(triple7)] Bob is kind.[(triple8 OR ((triple6 triple9) -> rule5) OR ((triple9 triple7) -> rule6))] Bob is rough.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is quiet.[(triple12)] Dave is rough.[(triple13)] Erin is green.[(triple14)] Erin is quiet.[(triple15)] Erin is smart.[(triple16)] @1: Anne is green.[(((triple5 triple4) -> rule4))] Dave is cold.[(((triple11 triple10) -> rule2))] Erin is nice.[(((triple15 triple14) -> rule3))] @2: Anne is nice.[(((triple3 ((triple5 triple4) -> rule4)) -> rule3))] Erin is rough.[(((((triple15 triple14) -> rule3) triple16) -> rule8))] @3: Erin is cold.[(((((((triple15 triple14) -> rule3) triple16) -> rule8) triple14) -> rule7))] @4: Erin is kind.[(((((((((triple15 triple14) -> rule3) triple16) -> rule8) triple14) -> rule7) ((((triple15 triple14) -> rule3) triple16) -> rule8)) -> rule5))]