premise: Dorothy has not visited Chad, Shirley has not visited Marshall Islands, Melody has visited Zimbabwe and if Shirley has not visited Marshall Islands then Holly has not visited Grenada
hypothesis: Holly has not visited Grenada