premise: Everyone has visited Smith Center, Amherst, Wisconsin Dells, Heber City, Douglas, Flint, Seminole, Charlestown, Lakewood, Bogalusa, Watervliet, Del Rio, Lebanon, Babylon, Wooster, Jamestown, Malibu, Menlo Park, Connersville and Peterborough
hypothesis: An individual didn't visit Heber City