premise: Everyone has visited Murfreesboro, Athol, Virden, New Kensington, North Adams, Sumter, Mount Vernon, John Day, Midland, Baton Rouge, El Cerrito, Asheboro, Irvington, Batavia, Skagway, Titusville, New Braunfels and Woburn
hypothesis: An individual did visit Titusville