premise: Everyone has visited Gallipolis, Devils Lake, Stillwater, Deerfield Beach, Honolulu, Monticello, Syracuse, Van Buren, Lexington, Union City, West Hartford, Fort Worth and Fitchburg
hypothesis: Kim didn't visit Devils Lake