Anne is cold. Anne is nice. Anne is red. Anne is white. Dave is blue. Dave is cold. Dave is green. Erin is green. Harry is blue. Harry is cold. Harry is green. Harry is nice. If Dave is nice and Dave is round then Dave is red. If something is green then it is white. If something is blue and cold then it is green. All white, round things are green. All white, nice things are blue. Red things are nice. If something is white and cold then it is red. Green, red things are blue.
Anne is cold.