Bob is blue. Bob is furry. Bob is nice. Bob is rough. Bob is not round. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Rough, green people are nice. If Charlie is blue then Charlie is furry. If Bob is green and Bob is nice then Bob is red. If Bob is red and Bob is not green then Bob is not furry. If Charlie is rough and Charlie is not furry then Charlie is green. If someone is not green then they are nice.
Bob is not red.