premise: Carmen has only visited Kearney, Meriden, Bristol, Hyannis, Springfield, Swarthmore, San Antonio, Cairo, Lima, McKinney, Costa Mesa, Plymouth, New Mexico, Hingham, Wailuku and Beaufort
hypothesis: Terry didn't visit Beaufort