Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is round. Dave is smart. Dave is young. All young things are blue. If something is round and blue then it is red. If Dave is red and Dave is green then Dave is blue. All young, green things are round. If Dave is red and Dave is young then Dave is green. If Dave is smart then Dave is red. All round things are red. Cold, young things are round.
Dave is green.