premise: Eileen has not visited Portugal, Anita has not visited Slovenia, Pearl has visited Togo and if Anita has not visited Slovenia then Penny has visited United Arab Emirates
hypothesis: Penny has visited United Arab Emirates