premise: Everyone has visited Beloit, Irving, Manti, Groton, Montclair, Pontiac, Clarksville, Lexington, Elmhurst, Conneaut, Palmdale, New Kensington, New Hope, Cambridge, Cleveland Heights, Independence and Ann Arbor
hypothesis: A person didn't visit Manti