premise: Verna has not visited Switzerland, Sabrina has visited Luxembourg, Alison has not visited United Arab Emirates and if Alison has visited United Arab Emirates then Naomi has visited São Tomé & Prícipe
hypothesis: Naomi has visited São Tomé & Prícipe