premise: Roger has only visited Vatican City, Troy has only visited North Korea, Richard has only visited Monaco, Nelson has only visited Afghanistan, Matthew has only visited Botswana, Jordan has only visited Mali, Virgil has only visited Sri Lanka, Ricardo has only visited Liechtenstein, Johnnie has only visited Tuvalu, Julio has only visited Equatorial Guinea
hypothesis: Julio didn't visit Equatorial Guinea