premise: Melissa has not visited Cameroon, Christina has not visited Dominica, Pamela has visited Belarus and if Melissa has not visited Cameroon then Heidi has visited Philippines
hypothesis: Heidi has not visited Philippines