Charlie is blue. Dave is kind. All blue people are kind. All nice, kind people are quiet. All blue people are young. If someone is kind then they are blue. If Dave is cold then Dave is kind. If someone is kind and cold then they are quiet. If Charlie is nice then Charlie is blue. All green people are kind.
Dave is not blue.