premise: Mattie has only visited Bellefontaine, Redmond, Shreveport, Cheektowaga, Danvers, Eastchester, Wahpeton, El Paso, Hattiesburg, The Village, Pittsburg, Sturbridge, Titusville, Turlock, Milton, Chesapeake, Beckley and Davis
hypothesis: Mattie didn't visit Wahpeton