Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. If someone is smart then they are rough. If someone is rough then they are green. If Anne is green then Anne is rough. All kind, rough people are green. If someone is furry and smart then they are kind. All furry people are rough.
Charlie is not blue.