premise: Gene has not visited Corpus Christi, Dennis has visited Dayton, Jose has not visited New Glarus and if Jose has not visited New Glarus then Lawrence has not visited Stockton
hypothesis: Lawrence has not visited Stockton