Anne is blue. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Gary is green. Gary is smart. Gary is white. Harry is green. Harry is smart. Harry is young. If someone is blue and smart then they are green. If someone is young then they are smart. If Gary is young then Gary is green. Smart, blue people are red. Young people are green. All blue, red people are white.
Gary is not green.