premise: Annette has only visited East Providence, Crookston, Mitchell, Willimantic, Edgartown, Saint Charles, West Allis, Erie, Carlinville, Williamstown, Hillsboro and Missouri
hypothesis: Marion didn't visit East Providence