Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is smart. Dave is white. All white people are smart. If someone is green and smart then they are white. If someone is white and red then they are quiet. Furry, white people are red. If someone is furry and green then they are smart. All blue people are red. If someone is furry and white then they are quiet. Quiet people are green.
Dave is red.