premise: Edith has not visited New Zealand, Paula has visited South Korea, Ida has not visited South Sudan and if Ida has not visited South Sudan then Monica has not visited Luxembourg
hypothesis: Monica has not visited Luxembourg