premise: Sandra has not visited Morocco, Linda has visited Dominican Republic, Lucille has not visited Tunisia and if Lucille has not visited Tunisia then Sonya has visited Switzerland
hypothesis: Sonya has not visited Switzerland