premise: Miriam has not visited Dominican Republic, Naomi has visited Grenada, Violet has not visited Denmark and if Violet has not visited Denmark then Shannon has not visited Republic of the Congo
hypothesis: Shannon has not visited Republic of the Congo