Anne is cold. Anne is green. Anne is red. Anne is round. Dave is kind. Dave is red. Dave is round. All nice people are round. If someone is blue then they are nice. If someone is green and cold then they are blue.
Anne is not blue.