Anne is furry. Anne is kind. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Dave is blue. Dave is furry. Dave is red. Furry people are kind. If Bob is furry then Bob is nice. All cold people are red. All cold, red people are furry. All red, nice people are cold. If someone is nice then they are blue.
Dave is red.