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