Anne is furry. Anne is green. Anne is white. Bob is white. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is white. If Dave is white then Dave is rough. All furry people are rough. Green, round people are furry. If someone is green then they are rough. If Charlie is smart and Charlie is furry then Charlie is white. If Dave is smart and Dave is red then Dave is white.
Anne is rough.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Bob is white.[(triple4)] Charlie is furry.[(triple5 OR ((triple6 triple9) -> rule3))] Charlie is green.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8 OR ((triple5) -> rule2) OR ((triple6) -> rule4) OR ((((triple6 triple9) -> rule3)) -> rule2))] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11 OR ((triple10 triple5) -> rule5) OR ((triple10 ((triple6 triple9) -> rule3)) -> rule5))] Dave is furry.[(triple12 OR ((triple13 triple15) -> rule3))] Dave is green.[(triple13)] Dave is rough.[(triple14 OR ((triple12) -> rule2) OR ((triple13) -> rule4) OR ((triple16) -> rule1) OR ((((triple13 triple15) -> rule3)) -> rule2))] Dave is round.[(triple15)] Dave is white.[(triple16)] @1: Anne is rough.[(((triple1) -> rule2) OR ((triple2) -> rule4))]