Bob is blue. Bob is not furry. Bob is kind. Bob is red. Bob is smart. Bob is white. Bob is young. Furry, white things are blue. If something is not red then it is not smart. If something is smart then it is young.
Bob is not red.