premise: Everyone has visited Gallipolis, Pennsylvania, Ferguson, Normal, Glenwood Springs, Henderson, Shamokin, Atchison, Sheridan, Dover, South Orange Village, Gary, Sapulpa and Rugby
hypothesis: A person didn't visit Sheridan