Bob is blue. Bob is furry. Bob is not green. Bob is red. Bob is smart. Bob is white. Bob is not young. Dave is blue. Dave is not furry. Dave is not red. Dave is smart. Dave is not young. If Bob is not furry then Bob is white. If Bob is not smart then Bob is blue. If Dave is green and Dave is not smart then Dave is young. If someone is smart and not white then they are green. All smart, green people are not blue. Green, red people are young. If someone is green and not blue then they are red. If Bob is not red then Bob is young.
Dave is not green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is not green.[(triple3)] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is blue.[(triple8)] Dave is not furry.[(triple9)] Dave is not red.[(triple10)] Dave is not young.[(triple12)] Dave is smart.[(triple11)]