Anne is green. Gary is furry. Gary is green. If something is young and not big then it is white. All kind, young things are white. If something is not furry then it is white. Green things are red. If something is red and not young then it is kind. If something is young and not red then it is green. If something is big and not red then it is not white. If something is not green then it is white.
Gary is not red.