premise: Diana has only visited San Mateo, Jacksonville, Ocean City, Kotzebue, Tuscaloosa, Cambridge, Rogers, Johnson City, South Bend, New Market, Rockford, Silverton, Newark, San Simeon, Keene, York, Grenada and Beatrice
hypothesis: Leslie didn't visit Silverton