Anne is green. Anne is kind. Anne is round. Anne is white. Bob is furry. Bob is green. Bob is kind. Bob is round. Bob is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Harry is furry. Harry is rough. Rough, white things are smart. If Erin is furry then Erin is green. If something is round then it is furry. If something is furry and smart then it is white. Furry things are smart. If something is smart then it is rough.
Harry is not green.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule4))] Bob is furry.[(triple5 OR ((triple8) -> rule3))] Bob is green.[(triple6)] Bob is kind.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9 OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((((triple8) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((triple5 ((((triple8) -> rule3)) -> rule5)) -> rule4) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule5)) -> rule4))] Erin is furry.[(triple10 OR ((triple13) -> rule3))] Erin is green.[(triple11 OR ((triple10) -> rule2) OR ((((triple13) -> rule3)) -> rule2))] Erin is rough.[(triple12 OR ((((triple10) -> rule5)) -> rule6) OR ((((((triple13) -> rule3)) -> rule5)) -> rule6))] Erin is round.[(triple13)] Harry is furry.[(triple14)] Harry is rough.[(triple15 OR ((((triple14) -> rule5)) -> rule6))] @1: Anne is furry.[(((triple3) -> rule3))] Bob is smart.[(((triple5) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Erin is smart.[(((triple10) -> rule5) OR ((((triple13) -> rule3)) -> rule5))] Harry is smart.[(((triple14) -> rule5))] @2: Anne is smart.[(((((triple3) -> rule3)) -> rule5))] Bob is rough.[(((((triple5) -> rule5)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5)) -> rule6))] Erin is white.[(((triple10 ((triple10) -> rule5)) -> rule4) OR ((((triple13) -> rule3) ((triple10) -> rule5)) -> rule4) OR ((triple10 ((((triple13) -> rule3)) -> rule5)) -> rule4) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule5)) -> rule4))] Harry is white.[(((triple14 ((triple14) -> rule5)) -> rule4))] @3: Anne is rough.[(((((((triple3) -> rule3)) -> rule5)) -> rule6))]