Dave is red. Erin is round. Gary is nice. White things are furry. If something is red then it is young. All white, nice things are young. All nice things are red. If Dave is young then Dave is round. If something is nice then it is white. If something is round then it is furry. All white things are round.
Dave is not white.