Anne is round. Dave is round. Fiona is young. Gary is round. If something is round and cold then it is not young. If Dave is round and Dave is cold then Dave is young. If something is white then it is young. White things are not round. If something is red then it is not cold. All cold, white things are not young. If Dave is round and Dave is white then Dave is red. If something is not white and not red then it is smart.
Gary is red.