Anne is cold. Anne is green. Anne is not quiet. Charlie is red. Dave is cold. Dave is green. Erin is quiet. If someone is cold then they are red. All blue, red people are not green. Round people are not blue. Red, cold people are round. If someone is green then they are cold. If someone is not green and not red then they are round.
Anne is not blue.