Bob is nice. Dave is green. Dave is rough. Gary is blue. Gary is kind. Gary is white. Harry is nice. If Dave is blue then Dave is kind. All blue, kind people are white. Kind, green people are nice. If Harry is kind then Harry is red. If someone is white then they are rough. If Gary is blue then Gary is nice. All green people are white. Nice, rough people are kind. Nice people are green.
Dave is not kind.