Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. If something is furry and white then it is green. Smart things are red. Quiet, red things are white. If something is furry then it is rough. All rough things are green. If Charlie is white then Charlie is smart.
Charlie is not furry.