Anne is cold. Anne is furry. Anne is rough. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is white. Erin is cold. Erin is furry. If Erin is white and Erin is blue then Erin is rough. Cold, green things are blue. Green things are cold. If Anne is white and Anne is blue then Anne is cold. White things are green. If something is cold then it is white.
Dave is not green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Dave is blue.[(triple4 OR ((((((triple8) -> rule5)) -> rule3) ((triple8) -> rule5)) -> rule2))] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10)] @1: Anne is white.[(((triple1) -> rule6))] Dave is green.[(((triple8) -> rule5))] Erin is white.[(((triple9) -> rule6))] @2: Anne is green.[(((((triple1) -> rule6)) -> rule5))] Dave is cold.[(((((triple8) -> rule5)) -> rule3))] Erin is green.[(((((triple9) -> rule6)) -> rule5))] @3: Anne is blue.[(((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule2))] Erin is blue.[(((triple9 ((((triple9) -> rule6)) -> rule5)) -> rule2))] @4: Erin is rough.[(((((triple9) -> rule6) ((triple9 ((((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule1))]