premise: Everyone has visited Henderson, Grayling, Greenville, Springfield, San Francisco, Mackinaw City, Eau Claire, Arlington Heights, Pascagoula, Franklin, Starkville, Logan, Watertown, Elkton and Florence
hypothesis: A person didn't visit Grayling