Charlie is big. Charlie is blue. Charlie is green. Charlie is rough. Fiona is big. Fiona is red. Fiona is rough. All big, red things are rough. If Charlie is rough then Charlie is blue. If something is blue then it is furry. If something is blue and furry then it is red. Big things are red. If something is kind then it is green.
Charlie is not green.