Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is smart. Dave is furry. Dave is green. Dave is nice. Gary is blue. Gary is white. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is smart. Harry is not white. Red people are green. White, nice people are furry. All blue people are smart. Blue, smart people are red. Furry, nice people are red. If someone is green and red then they are nice. If someone is smart then they are blue. If someone is not nice and not blue then they are not smart. If Dave is not red then Dave is not smart.
Dave is white.