Anne is blue. Anne is furry. Anne is green. Anne is not quiet. Anne is red. Anne is rough. Anne is not white. Charlie is blue. Charlie is not furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. If something is not rough then it is furry. If something is red and not quiet then it is blue. All white things are green. If Anne is not rough then Anne is blue. If something is not white then it is furry. If Charlie is rough and Charlie is not green then Charlie is not blue. If something is not furry then it is red. If something is rough and not blue then it is not furry.
Charlie is white.