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