Anne is blue. Anne is furry. Anne is green. Anne is white. Bob is blue. Bob is furry. Bob is green. Bob is white. Dave is red. Dave is white. Green, red things are blue. If Dave is kind and Dave is not furry then Dave is red. All green things are kind. If Anne is not furry then Anne is green. If something is blue then it is green. Furry, green things are red. If Bob is kind and Bob is not blue then Bob is young. If something is not young and not furry then it is kind.
Dave is white.