premise: Mattie has not visited Indonesia, Naomi has not visited Comoros, Lindsey has visited Papua New Guinea and if Mattie has not visited Indonesia then Dora has visited Bangladesh
hypothesis: Dora has not visited Bangladesh