premise: Colleen has only visited Riverton, Narragansett, Worcester, Lebanon, Anacortes, Coulee Dam, Fallon, Butte, Sheboygan, Lombard, Ventura, Titusville, Bradenton, Nyack, Mishawaka, Crookston and Clayton
hypothesis: Caroline didn't visit Titusville