Bob is blue. Bob is nice. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is rough. If someone is rough and blue then they are green. If Bob is nice then Bob is green. If someone is blue then they are rough. All big, quiet people are green. Blue people are rough. All blue, big people are rough.
Dave is not nice.