premise: Everyone has visited Boonesborough, Bound Brook, Oregon, Monmouth, Jefferson City, Hoquiam, Stevens Point, Golden, Fond du Lac, Jackson, Ashland, Tiverton, Coupeville and South Charleston
hypothesis: Someone didn't visit Tiverton