Bob is not blue. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Blue people are smart. Blue people are round. If Bob is not blue then Bob is round. If someone is green and not round then they are rough. If someone is not furry and not round then they are smart. If someone is not smart then they are green.
Bob is not red.