premise: Betty has only visited San Mateo, Owatonna, Bedford, Nyack, Phenix City, Lancaster, Ysleta, Dahlonega, Skagway, Port Orford, Huntington, Kokomo, Point Pleasant, Charles Town, San Clemente and Orangeburg
hypothesis: Kelly didn't visit Skagway