Bob is young. Charlie is rough. Charlie is round. If something is round and not rough then it is young. All young, red things are nice. If Bob is rough then Bob is nice. If Charlie is green and Charlie is not rough then Charlie is red. If Bob is furry and Bob is not round then Bob is not red. Round, rough things are not red. All rough things are green. If something is green and not young then it is nice.
Bob is not nice.