Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Gary is blue. Gary is nice. Harry is green. Harry is smart. If Dave is kind then Dave is nice. If Bob is green then Bob is kind. If Gary is nice then Gary is green. If Harry is green then Harry is quiet. Red people are blue. If Harry is green and Harry is nice then Harry is quiet. If Harry is quiet then Harry is green. If Bob is red and Bob is kind then Bob is quiet.
Bob is not blue.