Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. If someone is white and smart then they are furry. If Charlie is green then Charlie is smart. Smart, big people are furry.
Charlie is not red.