Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Dave is smart. Fiona is green. Gary is green. Gary is red. If Charlie is smart then Charlie is young. If someone is smart and kind then they are white. All kind people are red. Smart people are young. If Dave is kind and Dave is smart then Dave is green. Young people are kind. White people are smart. All kind people are furry. All red people are white.
Dave is young.