Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is smart. Dave is cold. Dave is nice. Dave is round. Nice people are furry. All furry people are smart.
Dave is not furry.