Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Bob is rough. Bob is white. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is smart. If someone is furry then they are blue. If someone is blue and white then they are smart. If Bob is furry and Bob is rough then Bob is quiet. Rough people are white. If Anne is furry and Anne is blue then Anne is smart. If someone is blue and quiet then they are rough.
Anne is not white.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((((triple1) -> rule1) triple3) -> rule6))] Anne is smart.[(triple5 OR ((triple1 ((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((triple1) -> rule1) ((((((triple1) -> rule1) triple3) -> rule6)) -> rule4)) -> rule2))] Bob is rough.[(triple6)] Bob is white.[(triple7 OR ((triple6) -> rule4))] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple8 triple10) -> rule6))] Harry is smart.[(triple12 OR ((triple8 ((triple11) -> rule4)) -> rule2) OR ((triple8 ((((triple8 triple10) -> rule6)) -> rule4)) -> rule2))] @1: Anne is blue.[(((triple1) -> rule1))] Anne is white.[(((triple4) -> rule4) OR ((((((triple1) -> rule1) triple3) -> rule6)) -> rule4))] Harry is white.[(((triple11) -> rule4) OR ((((triple8 triple10) -> rule6)) -> rule4))]