Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is smart. Dave is white. Dave is young. If someone is cold then they are green. If someone is cold and white then they are blue. If someone is cold and smart then they are blue. If Dave is smart then Dave is blue. All furry people are green. All young people are smart.
Dave is not smart.