premise: Jose has not visited Tiverton, Hugh has visited Beverly Hills, Barry has not visited Bay Saint Louis and if Barry has not visited Bay Saint Louis then Jason has visited Painesville
hypothesis: Jason has not visited Painesville