Anne is big. Anne is furry. Anne is red. Anne is white. Charlie is big. Charlie is furry. Charlie is green. Charlie is rough. Charlie is white. Fiona is white. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is round. If something is furry and round then it is white. If Anne is furry then Anne is green.
Anne is not red.