premise: Frank has only visited Palestine, Andrew has only visited United Kingdom, Derek has only visited North Korea, Enrique has only visited Bangladesh, Jerry has only visited Kosovo
hypothesis: Derek didn't visit North Korea