Bob is blue. Bob is green. Bob is nice. Dave is blue. Dave is green. Dave is nice. Dave is smart. Erin is green. Gary is kind. Gary is smart. If Bob is blue and Bob is white then Bob is smart. If Dave is nice then Dave is kind. All white people are blue. Kind, green people are white. All nice people are blue. If someone is young and blue then they are white. All white people are nice. If someone is nice then they are kind.
Dave is not green.