Charlie is blue. Dave is not quiet. Gary is red. If Dave is not cold then Dave is smart. If someone is not green then they are kind. If Gary is kind then Gary is smart. All blue people are red. All green people are smart. If Gary is kind and Gary is blue then Gary is smart. If someone is cold and not kind then they are not green. If someone is not kind then they are smart.
Dave is not red.