Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. If Charlie is rough and Charlie is white then Charlie is young. If something is red and furry then it is young. All red, furry things are nice. If Anne is white and Anne is kind then Anne is nice. If Anne is kind and Anne is rough then Anne is red. All furry things are rough. If something is furry and young then it is kind. If Charlie is red then Charlie is kind.
Charlie is not red.