premise: Edgar has only visited Democratic Republic of the Congo, Kent has only visited Finland, Karl has only visited Grenada, Henry has only visited United States, Johnny has only visited Cyprus, Antonio has only visited North Korea
hypothesis: Antonio didn't visit Eritrea