Bob is blue. Bob is green. Bob is red. Bob is smart. Charlie is blue. Charlie is furry. Charlie is smart. Dave is furry. Dave is red. Dave is rough. Harry is blue. Harry is red. Harry is rough. Harry is smart. Harry is white. White, rough things are blue. All white, smart things are green. Smart things are furry. Furry things are rough. If Bob is smart then Bob is rough. All furry things are blue. If Charlie is furry and Charlie is smart then Charlie is blue. If Dave is blue and Dave is rough then Dave is red.
Dave is not green.
@0: Bob is blue.[(triple1 OR ((((triple4) -> rule3)) -> rule6))] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Charlie is blue.[(triple5 OR ((triple6) -> rule6) OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule3)) -> rule6) OR ((((triple7) -> rule3) triple7) -> rule7))] Charlie is furry.[(triple6 OR ((triple7) -> rule3))] Charlie is smart.[(triple7)] Dave is furry.[(triple8)] Dave is red.[(triple9 OR ((((triple8) -> rule6) triple10) -> rule8) OR ((((triple8) -> rule6) ((triple8) -> rule4)) -> rule8))] Dave is rough.[(triple10 OR ((triple8) -> rule4))] Harry is blue.[(triple11 OR ((triple15 triple13) -> rule1) OR ((((triple14) -> rule3)) -> rule6) OR ((triple15 ((((triple14) -> rule3)) -> rule4)) -> rule1))] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((((triple14) -> rule3)) -> rule4))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Bob is furry.[(((triple4) -> rule3))] Bob is rough.[(((triple4) -> rule5) OR ((((triple4) -> rule3)) -> rule4))] Charlie is rough.[(((triple6) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] Dave is blue.[(((triple8) -> rule6))] Harry is furry.[(((triple14) -> rule3))] Harry is green.[(((triple15 triple14) -> rule2))]