premise: Monique has not visited Mozambique, Alison has not visited Saudi Arabia, Glenda has visited Eritrea and if Alison has visited Saudi Arabia then Roberta has visited North Korea
hypothesis: Roberta has visited North Korea