Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is white. Dave is young. All smart people are quiet. If Dave is green then Dave is blue. Blue, cold people are young.
Dave is not smart.