Anne is blue. Anne is green. Anne is smart. Charlie is green. Charlie is red. Charlie is rough. Charlie is white. Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is rough. Dave is smart. Harry is not blue. Harry is not red. Harry is rough. If someone is cold and blue then they are green. If Harry is red then Harry is smart. If someone is white and green then they are cold. All red people are white. If someone is not rough then they are white. If someone is not blue then they are green.
Anne is not cold.