premise: Diana has only visited Windsor, Norris, East Cleveland, Leominster, Nogales, Taunton, Framingham, Johnstown, Geneva, Manhattan, Greenwood, Ishpeming, Pawtucket and Richardson
hypothesis: Diana didn't visit Nogales