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