premise: Darlene has not visited Kuwait, Claire has not visited South Korea, Patsy has visited Saint Vincent & the Grenadines and if Darlene has not visited Kuwait then Doris has visited Ireland
hypothesis: Doris has visited Ireland