premise: Melody has not visited Democratic Republic of the Congo, Gloria has visited Saint Lucia, Pearl has not visited El Salvador and if Pearl has visited El Salvador then Sandy has visited Monaco
hypothesis: Sandy has not visited Monaco