Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Dave is big. Dave is red. All rough people are kind. All big people are rough.
Dave is not red.