Bob is smart. Dave is red. Dave is white. If someone is smart and nice then they are not furry. Kind people are not nice. If Dave is nice then Dave is smart. If Dave is not furry then Dave is red. If Bob is not young then Bob is red. If Bob is smart and Bob is not nice then Bob is red. If Bob is young and Bob is white then Bob is red. If someone is red and not kind then they are white.
Bob is not white.
@0: Bob is smart.[(triple1)] Dave is red.[(triple2)] Dave is white.[(triple3)]