Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is smart. Dave is not blue. Dave is cold. Dave is furry. Dave is green. Dave is rough. Dave is smart. Dave is young. Blue things are smart. If Dave is furry then Dave is green. If something is not green then it is young.
Charlie is not young.