premise: Julio has only visited Lesotho, Ivan has only visited China, Felix has only visited Georgia, Luis has only visited Jordan, Wallace has only visited Republic of the Congo, Francisco has only visited Italy
hypothesis: Ivan didn't visit Namibia