Anne is blue. Anne is furry. Anne is red. Anne is smart. Harry is red. Harry is rough. Harry is white. If Harry is red and Harry is white then Harry is furry. White things are smart. If something is red and smart then it is furry. If something is white then it is green. If Anne is blue and Anne is red then Anne is white. All furry, red things are smart. All furry things are red. If something is furry then it is white.
Harry is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple4) -> rule3) OR ((triple3 ((((triple1 triple3) -> rule5)) -> rule2)) -> rule3))] Anne is red.[(triple3 OR ((triple2) -> rule7))] Anne is smart.[(triple4 OR ((triple2 triple3) -> rule6) OR ((((triple2) -> rule8)) -> rule2) OR ((((triple1 triple3) -> rule5)) -> rule2) OR ((triple2 ((triple2) -> rule7)) -> rule6) OR ((((triple1 ((triple2) -> rule7)) -> rule5)) -> rule2))] Harry is red.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Anne is white.[(((triple2) -> rule8) OR ((triple1 triple3) -> rule5) OR ((((triple3 triple4) -> rule3)) -> rule8) OR ((triple1 ((triple2) -> rule7)) -> rule5))] Harry is furry.[(((triple5 triple7) -> rule1) OR ((triple5 ((triple7) -> rule2)) -> rule3))] Harry is green.[(((triple7) -> rule4))] Harry is smart.[(((triple7) -> rule2) OR ((((triple5 triple7) -> rule1) triple5) -> rule6))] @2: Anne is green.[(((((triple2) -> rule8)) -> rule4) OR ((((triple1 triple3) -> rule5)) -> rule4) OR ((((((triple3 triple4) -> rule3)) -> rule8)) -> rule4) OR ((((triple1 ((triple2) -> rule7)) -> rule5)) -> rule4))]