premise: Everyone has visited Hot Springs, Fort Pierce, Ecorse, Sitka, Bethesda-Chevy Chase, Geneva, Hayward, Georgetown, Sedalia, Lander, Portage, Arlington Heights, Americus, Rumford, Saint Joseph, Hempstead, Mansfield and Bowling Green
hypothesis: An individual didn't visit Hot Springs