premise: Diane has visited only fourteen places
hypothesis: Diane has visited Gatlinburg, Lincoln, Castine, Narragansett, Pomona, Dothan, Independence, Huntsville, Simsbury, Pampa, Antioch, Douglas, Silverton, Nanticoke and Joliet