premise: Thelma has only visited McAllen, Ocala, Jackson, Charles Town, Fort Dodge, Moore, Guntersville, Spanish Fork, Put-in-Bay, Big Spring, Springfield, Fayetteville, Smith Center, Martinsburg and Tullahoma
hypothesis: Thelma didn't visit Charles Town