premise: Everyone has visited Potsdam, North Kingstown, Geneva, Canton, Garden City, Middletown, Ann Arbor, Kinston, Aberdeen, Smyrna, Amesbury, Key West, Burlington, Natchitoches, Lawrence, White Sulphur Springs and Danbury
hypothesis: Tara didn't visit Smyrna