premise: Everyone has visited Zion, Garden City, Greenville, Wheeling, Antioch, Watertown, Greenfield, Boonesborough, Flushing, Colorado, Everett, Deadwood, Winter Park, Canon City, Prairie du Chien, New Castle, Tampa, Clarksville, Oconto and Newburyport
hypothesis: An individual didn't visit Greenville