Anne is quiet. Dave is nice. Erin is young. Fiona is nice. If someone is nice then they are cold. Furry people are nice. If someone is furry and green then they are cold. All red people are green. If Anne is nice and Anne is furry then Anne is green. If Dave is nice then Dave is red.
Dave is not nice.