Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Harry is not blue. Harry is not cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is red. All blue things are quiet. If something is kind and not green then it is cold. Red things are kind. Blue things are quiet. If Harry is green then Harry is red. If Harry is blue then Harry is cold. If something is not kind then it is not blue. If something is quiet and not red then it is blue.
Bob is not red.