Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is not rough. Anne is smart. Anne is young. Dave is cold. Dave is kind. Dave is rough. Dave is smart. Dave is young. All smart things are green. Rough things are cold. If something is green then it is blue.
Anne is not blue.