Anne is big. Anne is not blue. Anne is cold. Anne is not green. Anne is smart. Harry is big. Harry is blue. Harry is not green. Harry is nice. Harry is smart. Big, cold things are not green. If something is blue and not big then it is not nice. If something is green then it is cold. If Harry is white and Harry is big then Harry is smart. All blue things are white. If something is big and not green then it is white. If something is big and not nice then it is not smart. If something is white then it is smart.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple3)] Anne is not blue.[(triple2)] Anne is not green.[(triple4 OR ((triple1 triple3) -> rule1))] Anne is smart.[(triple5 OR ((((triple1 triple4) -> rule6)) -> rule8) OR ((((triple1 ((triple1 triple3) -> rule1)) -> rule6)) -> rule8))] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is nice.[(triple9)] Harry is not green.[(triple8)] Harry is smart.[(triple10 OR ((((triple7) -> rule5)) -> rule8) OR ((((triple6 triple8) -> rule6)) -> rule8) OR ((((triple7) -> rule5) triple6) -> rule4) OR ((((triple6 triple8) -> rule6) triple6) -> rule4))] @1: Anne is white.[(((triple1 triple4) -> rule6) OR ((triple1 ((triple1 triple3) -> rule1)) -> rule6))] Harry is white.[(((triple7) -> rule5) OR ((triple6 triple8) -> rule6))]