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