Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. Gary is blue. Gary is green. Gary is not quiet. Gary is not white. Furry people are green. All nice people are red. If someone is blue then they are red. All quiet people are green. If someone is nice then they are red. If Dave is blue and Dave is not red then Dave is furry. If someone is green and not red then they are nice. If someone is not green then they are white.
Dave is not blue.