Bob is not blue. Bob is cold. Bob is furry. Bob is green. Bob is rough. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is smart. All cold things are smart. If Harry is cold and Harry is furry then Harry is blue. If something is not cold and not blue then it is red.
Bob is not red.