Dave is young. Gary is round. Harry is round. Cold, young things are red. If Dave is smart then Dave is cold. If something is red then it is white. Cold, red things are green. All round things are red. If something is round and green then it is not young. If Gary is round and Gary is not white then Gary is not red. If something is not white then it is young.
Harry is not smart.