Anne is cold. Anne is green. Anne is quiet. Anne is rough. Anne is white. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is white. All red things are cold. If something is white then it is rough. If something is white and rough then it is red. Quiet, red things are green. Red, cold things are nice. White things are rough.
Anne is not red.
@0: Anne is cold.[(triple1 OR ((((triple5 triple4) -> rule3)) -> rule1) OR ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1) OR ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1))] Anne is green.[(triple2 OR ((triple3 ((triple5 triple4) -> rule3)) -> rule4) OR ((triple3 ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4) OR ((triple3 ((triple5 ((triple5) -> rule6)) -> rule3)) -> rule4))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple5) -> rule2) OR ((triple5) -> rule6))] Anne is white.[(triple5)] Harry is cold.[(triple6 OR ((triple10) -> rule1) OR ((((triple12 triple11) -> rule3)) -> rule1) OR ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1))] Harry is green.[(triple7 OR ((triple9 triple10) -> rule4) OR ((triple9 ((triple12 triple11) -> rule3)) -> rule4) OR ((triple9 ((triple12 ((triple12) -> rule2)) -> rule3)) -> rule4) OR ((triple9 ((triple12 ((triple12) -> rule6)) -> rule3)) -> rule4))] Harry is nice.[(triple8 OR ((triple10 triple6) -> rule5) OR ((triple10 ((triple10) -> rule1)) -> rule5) OR ((((triple12 triple11) -> rule3) triple6) -> rule5) OR ((((triple12 triple11) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((triple10 ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) triple6) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) triple6) -> rule5) OR ((((triple12 triple11) -> rule3) ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple10) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 triple11) -> rule3)) -> rule1)) -> rule5) OR ((triple10 ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((triple10 ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 triple11) -> rule3) ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 triple11) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule2)) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 ((triple12) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule1)) -> rule5))] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple12) -> rule2)) -> rule3) OR ((triple12 ((triple12) -> rule6)) -> rule3))] Harry is rough.[(triple11 OR ((triple12) -> rule2) OR ((triple12) -> rule6))] Harry is white.[(triple12)] @1: Anne is red.[(((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule3))] @2: Anne is nice.[(((((triple5 triple4) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple1) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) triple1) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple4) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule5))]