premise: Kristina has not visited Ireland, Claire has not visited São Tomé & Prícipe, Sheila has visited Liberia and if Claire has not visited São Tomé & Prícipe then Debbie has visited Papua New Guinea
hypothesis: Debbie has not visited Papua New Guinea