Bob is big. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Dave is big. Dave is blue. Dave is kind. Dave is red. Dave is rough. All kind, rough people are blue. If Bob is quiet then Bob is rough. If someone is blue then they are quiet. All big people are smart. If someone is blue and rough then they are kind. All kind, red people are big.
Bob is not rough.