premise: Jerry has not visited Pass Christian, Jim has visited Nappanee, Virgil has not visited Saint Johnsbury and if Virgil has not visited Saint Johnsbury then Marion has not visited Gastonia
hypothesis: Marion has not visited Gastonia