premise: Joanne has only visited Falmouth, Durant, Minneapolis, Leadville, Conway, Nanticoke, Seminole, Palm Bay, Exeter, Red Cloud, Ecorse, Rocky Mount, Lumberton, Nogales, Natick, Livingston, Sioux City and Salem
hypothesis: Joanne didn't visit Salem