Bob is blue. Dave is quiet. Dave is red. Dave is smart. Gary is blue. Gary is green. Gary is quiet. Gary is smart. Harry is green. Harry is quiet. Harry is red. If Bob is quiet and Bob is kind then Bob is smart. All kind things are green. Quiet, red things are kind. If something is green then it is quiet. If Bob is blue then Bob is kind. If Harry is young then Harry is kind. If something is blue then it is young. If something is smart and green then it is blue. All kind, smart things are red.
Bob is not red.