premise: Bessie has not visited Guinea-Bissau, Annette has not visited Dominican Republic, Martha has visited Indonesia and if Bessie has visited Guinea-Bissau then Charlotte has visited Belize
hypothesis: Charlotte has visited Belize