premise: Annette has only visited New Braunfels, Sitka, Haddonfield, Milford, Golden, Jacksonville, Brockton, Auburn, Peterborough, Centralia, Nahant, Chandler, Miami, Cuyahoga Falls, Detroit, Sharon, Compton and Arkadelphia
hypothesis: Pauline didn't visit Brockton