Bob is red. Bob is rough. Charlie is big. Charlie is blue. Charlie is furry. Dave is big. Fiona is red. All big people are green. All white people are rough. White people are blue. All rough, red people are furry. All red people are rough. Big people are blue.
Charlie is not rough.