premise: Jesse has not visited Cortez, Lance has visited Topeka, Francis has not visited Fernandina Beach and if Francis has visited Fernandina Beach then Ben has visited Port Hueneme
hypothesis: Ben has not visited Port Hueneme