premise: Heather has not visited Canada, Angie has visited Republic of the Congo, Janie has not visited Cameroon and if Janie has not visited Cameroon then Beverly has not visited Mauritius
hypothesis: Beverly has not visited Mauritius