Charlie is blue. Charlie is not furry. Charlie is not green. Charlie is red. Charlie is round. Charlie is smart. Dave is not blue. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. If someone is blue then they are rough.
Dave is not rough.