premise: Everyone has visited Alamogordo, Decatur, Honolulu, Bryan, Lewes, San Marcos, Flint, Mansfield, Harmony, New Brunswick, Fort Benton, Bedford, Beatrice, Mountain View, Woonsocket and Dover
hypothesis: A person didn't visit Bryan