Bob is not big. Bob is green. Bob is not kind. Bob is not nice. Bob is quiet. Bob is not red. Bob is smart. Dave is big. Dave is green. Dave is nice. If someone is kind and not red then they are quiet. Green, quiet people are not kind. All red people are not kind. If Dave is quiet then Dave is not smart. If Bob is kind then Bob is not nice. If someone is kind and not quiet then they are smart.
Dave is not green.
@0: Bob is green.[(triple2)] Bob is not big.[(triple1)] Bob is not kind.[(triple3 OR ((triple2 triple5) -> rule2))] Bob is not nice.[(triple4)] Bob is not red.[(triple6)] Bob is quiet.[(triple5)] Bob is smart.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)]