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