Bob is big. Bob is cold. Bob is not furry. Bob is not quiet. Bob is smart. Bob is white. Bob is young. Dave is big. Dave is cold. Dave is furry. Dave is not quiet. Dave is smart. Dave is white. Dave is not young. Furry, young things are not quiet. If Dave is big and Dave is cold then Dave is furry.
Dave is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is not furry.[(triple3)] Bob is not quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10 OR ((triple8 triple9) -> rule2))] Dave is not quiet.[(triple11)] Dave is not young.[(triple14)] Dave is smart.[(triple12)] Dave is white.[(triple13)]