Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is young. If something is smart and blue then it is rough. All young things are cold. If Dave is cold and Dave is young then Dave is rough. If something is blue then it is nice. If Anne is nice then Anne is rough. Cold things are nice. If Dave is blue then Dave is cold. If something is rough and smart then it is blue.
Dave is not smart.