Bob is not big. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is smart. Bob is not young. Dave is big. Dave is not blue. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Dave is young. If Bob is furry and Bob is blue then Bob is not big. If Dave is blue and Dave is big then Dave is green.
Dave is green.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not big.[(triple1 OR ((triple3 triple2) -> rule1))] Bob is not young.[(triple7)] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Dave is big.[(triple8)] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is not blue.[(triple9)] Dave is quiet.[(triple12)] Dave is smart.[(triple13)] Dave is young.[(triple14)]