premise: Dorothy has only visited Middletown, Columbia, Aliquippa, Brunswick, Norfolk, East Point, Sioux City, Charles Town, Keyser, Port Orford, Portland, Virden, Clovis, Halifax, Weston, Johnson City, Pasco, Cuyahoga Falls, Asbury Park and New Bedford
hypothesis: Dorothy didn't visit Johnson City