premise: Everyone has visited Milan, Lafayette, Utah, Eufaula, Titusville, Des Moines, Monterey, Branson, Lexington, Elkins, Provo, Phoenixville, Saranac Lake, Brunswick, Bluefield, Custer, Lima, Morgantown, Ketchikan and Warren
hypothesis: Thelma did visit Elkins