premise: Rosa has not visited Sweden, Candace has visited North Korea, Diana has visited Laos and if Candace has visited North Korea then Glenda has visited Dominican Republic
hypothesis: Glenda has visited Dominican Republic