Bob is young. Dave is white. Gary is smart. Harry is round. If something is round then it is blue. Young, white things are smart. Red things are round. If something is smart then it is red. All red, blue things are white. If Harry is cold and Harry is blue then Harry is red.
Dave is not red.