premise: Max has not visited Pauls Valley, Mitchell has not visited East Cleveland, Jimmy has visited Santa Clarita and if Max has not visited Pauls Valley then Joseph has not visited Napa
hypothesis: Joseph has not visited Napa