Bob is green. Bob is kind. Bob is nice. Bob is white. Dave is green. Dave is kind. Dave is nice. Dave is smart. Dave is white. Gary is cold. Gary is nice. Gary is not white. All nice, white people are not cold. All blue people are not green.
Gary is smart.