premise: Virginia has not visited Morocco, Eunice has not visited Thailand, Hattie has visited San Mmarino and if Eunice has visited Thailand then Genevieve has visited North Korea
hypothesis: Genevieve has not visited North Korea