premise: Everyone has visited Burlington, New Castle, Portage, Iowa City, Searcy, Milton, Martinsburg, Reading, Emporia, Renton, Pasadena, Culver City, Calais, Alpine, Belleville and Everett
hypothesis: Marsha didn't visit Renton