premise: Andrea has only visited Olean, Ann Arbor, Rocky Mount, East Moline, Pennsylvania, Dixon, Moses Lake, Lake Oswego, Sunnyvale, Bangor, Wailuku, McAlester, Gettysburg, Warm Springs, West Lafayette, Batavia, Casa Grande, Washington, Burlington and Mobile
hypothesis: Andrea didn't visit McAlester