Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is white. Dave is blue. Dave is nice. Dave is red. Red, nice things are green. If Anne is cold and Anne is white then Anne is green. All blue, white things are cold.
Anne is not red.