Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Dave is not white. Erin is kind. Erin is rough. Gary is quiet. Gary is smart. Harry is furry. Harry is green. Harry is kind. Harry is not rough. Harry is smart. All smart, quiet people are not white. If Harry is furry and Harry is quiet then Harry is kind. If Harry is not white then Harry is not rough.
Dave is not rough.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not white.[(triple7 OR ((triple6 triple4) -> rule1))] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Gary is quiet.[(triple10)] Gary is smart.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is not rough.[(triple15)] Harry is smart.[(triple16)] @1: Gary is not white.[(((triple11 triple10) -> rule1))]