Anne is blue. Anne is cold. Anne is furry. Anne is not green. Anne is red. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is furry. Dave is not green. Dave is red. Dave is not rough. Dave is round. If Anne is red then Anne is cold. If someone is red and not green then they are cold.
Anne is not cold.