Anne is cold. Anne is furry. Anne is nice. Anne is smart. Anne is white. Dave is cold. Dave is not furry. Dave is not green. Dave is nice. Dave is red. Dave is not smart. Dave is white. If something is red and not cold then it is white. If something is white and smart then it is red. Nice, cold things are not green.
Anne is not furry.