Dave is cold. Dave is kind. Dave is nice. Gary is cold. Gary is kind. Gary is red. Gary is young. If something is young and smart then it is kind. Rough things are red. If something is kind and nice then it is red. All red things are rough. All cold things are nice. Nice, kind things are young. If Dave is young and Dave is red then Dave is kind. If something is cold then it is kind.
Dave is not nice.