Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is white. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is red. Dave is rough. Dave is smart. Harry is kind. Harry is rough. Harry is white. If something is red and round then it is white. If something is white then it is nice. If Dave is red and Dave is smart then Dave is round.
Dave is not white.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2 OR ((triple5) -> rule2))] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Charlie is nice.[(triple6 OR ((triple10) -> rule2) OR ((((triple7 triple9) -> rule1)) -> rule2))] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is white.[(triple10 OR ((triple7 triple9) -> rule1))] Dave is red.[(triple11)] Dave is rough.[(triple12)] Dave is smart.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Dave is round.[(((triple11 triple13) -> rule3))] Harry is nice.[(((triple16) -> rule2))] @2: Dave is white.[(((triple11 ((triple11 triple13) -> rule3)) -> rule1))] @3: Dave is nice.[(((((triple11 ((triple11 triple13) -> rule3)) -> rule1)) -> rule2))]