Bob is blue. Bob is cold. Bob is not green. Bob is nice. Bob is red. Bob is smart. Bob is not white. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is not white. If Bob is cold and Bob is not red then Bob is blue. If Bob is red and Bob is not nice then Bob is not blue. If something is green and not nice then it is white. If something is cold then it is blue. If something is cold and not red then it is smart. If something is cold and not blue then it is not smart.
Dave is not white.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule4))] Bob is cold.[(triple2)] Bob is nice.[(triple4)] Bob is not green.[(triple3)] Bob is not white.[(triple7)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Dave is blue.[(triple8 OR ((triple9) -> rule4))] Dave is cold.[(triple9)] Dave is green.[(triple10)] Dave is nice.[(triple11)] Dave is not white.[(triple14)] Dave is red.[(triple12)] Dave is smart.[(triple13)]