Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is nice. Dave is red. Dave is white. Gary is kind. Gary is red. All nice, white things are blue. If something is kind then it is smart. Nice, smart things are white. White, smart things are kind. If something is blue then it is smart. If Dave is white then Dave is blue.
Dave is not kind.