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