premise: Everyone has visited Rye, Kansas City, Sioux Falls, Waterloo, Lovington, Sweetwater, Williston, Dixon, Everett, Estherville, Calistoga, Grenada, Marblehead, Taunton, Lewistown and Little Rock
hypothesis: A person didn't visit Calistoga