premise: Everyone has visited Longview, Dennis, Bloomfield, Mayfield, Wahiawa, Saint Louis, Ocean Springs, Boulder City, Green River, Greensboro, Monroe, Leadville, Minnesota, Bay City and Montpelier
hypothesis: Someone didn't visit Saint Louis