Bob is big. Bob is not furry. Bob is green. Bob is red. Bob is rough. Bob is not white. Bob is young. All rough things are young. If Bob is furry then Bob is red. If something is red then it is rough. Red, big things are rough. If something is not young then it is green. If something is big and not red then it is not rough.
Bob is not red.