premise: Julia has not visited United Arab Emirates, Renee has visited United Kingdom, Lillian has not visited Ghana and if Lillian has visited Ghana then Theresa has visited Ireland
hypothesis: Theresa has not visited Ireland