Bob is nice. Dave is white. Dave is young. If Dave is white and Dave is not nice then Dave is not blue. If Bob is blue and Bob is cold then Bob is white. Red things are cold. All cold things are white. Kind things are young. If something is not young then it is red.
Dave is not blue.