Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Erin is blue. Fiona is green. Gary is quiet. Gary is white. If something is quiet then it is cold. If something is rough and white then it is cold. Rough, white things are furry. If something is quiet then it is white. If Fiona is green and Fiona is quiet then Fiona is furry. If something is furry and quiet then it is green. If something is blue and furry then it is green. If something is furry then it is rough.
Gary is white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule1) OR ((triple6 ((triple5) -> rule4)) -> rule2) OR ((((triple3) -> rule8) ((triple5) -> rule4)) -> rule2))] Anne is furry.[(triple3 OR ((triple6 ((triple5) -> rule4)) -> rule3))] Anne is green.[(triple4 OR ((triple1 triple3) -> rule7) OR ((triple3 triple5) -> rule6) OR ((triple1 ((triple6 ((triple5) -> rule4)) -> rule3)) -> rule7) OR ((((triple6 ((triple5) -> rule4)) -> rule3) triple5) -> rule6))] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple3) -> rule8))] Erin is blue.[(triple7)] Fiona is green.[(triple8)] Gary is quiet.[(triple9)] Gary is white.[(triple10 OR ((triple9) -> rule4))] @1: Anne is white.[(((triple5) -> rule4))] Gary is cold.[(((triple9) -> rule1))]