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
Genevieve has not visited North Korea