premise: Everyone has visited Clinton, Murfreesboro, Rockland, Shreveport, Petersburg, Northampton, Gunnison, Brooklyn, Darlington, Nampa, Conneaut, Marietta, Sault Sainte Marie, New Windsor, New Milford, Oxnard, Panguitch, Juneau and Fillmore
hypothesis: Someone didn't visit Sault Sainte Marie