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