premise: Sheila has not visited Macedonia, Debra has not visited Colombia, Joanne has visited The Bahamas and if Sheila has visited Macedonia then Veronica has visited Switzerland
hypothesis: Veronica has not visited Switzerland