premise: Jenny has only visited Hazard, North Hempstead, Chillicothe, Kapaa, Hampton, Dalton, Southington, Brattleboro, Keyser, Lawrence, Hood River, Saint Louis, Hamilton, Port Arthur and Mishawaka
hypothesis: Claudia didn't visit Mishawaka