Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is not rough. Harry is smart. Harry is white. Quiet, rough things are kind. If Dave is white and Dave is not kind then Dave is smart.
Harry is nice.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2 OR ((triple4 triple5) -> rule1))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is not rough.[(triple12)] Harry is quiet.[(triple11)] Harry is smart.[(triple13)] Harry is white.[(triple14)]