Dave is big. Dave is cold. Dave is not furry. Dave is not green. Dave is red. Dave is not rough. Dave is smart. All big people are red. If Dave is furry then Dave is red. All green people are red.
Dave is not furry.