premise: Everyone has visited West Palm Beach, Titusville, Vinita, Barstow, Renton, Spanish Fork, Saint Martinville, Williston, Great Bend, Stockbridge, Falls Church, Morgan City, Lancaster, Galesburg, Opelika, Naugatuck and Muskogee
hypothesis: A person didn't visit Titusville