Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. All quiet, green things are furry. Green things are kind. If something is kind and smart then it is nice. If something is smart then it is nice. If Charlie is kind then Charlie is nice. If something is quiet then it is smart.
Charlie is not smart.