premise: Everyone has visited Hammond, Roswell, Hopkinsville, Dothan, Kingman, Plainfield, Lower Southampton, Cody, Menlo Park, Murray, Valdez, Arkansas, Biddeford, Oregon and Shawneetown
hypothesis: Charlotte didn't visit Redmond