premise: Wayne has not visited Port Lavaca, Jeff has not visited Martinez, Chester has visited San Diego and if Wayne has not visited Port Lavaca then Francis has not visited Guilford
hypothesis: Francis has not visited Guilford