Anne is round. Dave is red. If someone is red then they are white. All nice, white people are cold. Nice, cold people are red. If someone is cold then they are not red. Cold people are not nice. If Anne is furry and Anne is white then Anne is not green. If someone is green and white then they are cold. If someone is green and not furry then they are white.
Dave is green.