Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is smart. All kind, young things are red. If something is smart then it is young.
Dave is not young.