Dave is blue. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. If something is young then it is round. All green things are round. All red things are young. All kind things are red. If something is kind and red then it is white. If something is young and red then it is blue. If something is not blue then it is white. If something is round and not red then it is white.
Dave is round.