premise: Geraldine has not visited Saint Vincent & the Grenadines, Christy has visited Morocco, Rita has not visited Belize and if Rita has not visited Belize then Dolores has not visited Denmark
hypothesis: Dolores has not visited Denmark