Charlie is big. Charlie is green. Harry is white. White things are furry. All green, smart things are white. If something is green then it is white. All kind things are white. Furry things are smart. If something is kind and smart then it is nice.
Charlie is not green.