Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. If something is red and young then it is white. Cold things are white. If something is furry then it is young. If something is young and white then it is cold. Cold things are furry. All red, rough things are young. If Charlie is cold then Charlie is young. If something is cold then it is furry.
Anne is not red.