Bob is green. Bob is kind. Bob is quiet. Bob is rough. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. If something is not rough then it is red.
Bob is not red.