Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is white. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. If something is rough then it is round. If something is rough then it is red. All round, red things are white.
Bob is not rough.