Anne is furry. Anne is nice. Anne is red. Charlie is big. Charlie is furry. Charlie is nice. Charlie is red. Charlie is white. Gary is not furry. Gary is green. If Charlie is big and Charlie is young then Charlie is furry. All young people are green. Nice people are young. If someone is green then they are white. If someone is young and not big then they are red. If Anne is red and Anne is not green then Anne is white. If someone is not green then they are red. If someone is not young then they are not red.
Anne is not white.