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