premise: Lee has not visited Wethersfield, Mark has visited Newport, Adam has not visited Chattanooga and if Adam has visited Chattanooga then Jeffrey has visited Corpus Christi
hypothesis: Jeffrey has visited Corpus Christi