premise: Miguel has only visited Iran, Calvin has only visited Belize, Russell has only visited Cyprus, Derek has only visited Bulgaria, James has only visited Uganda, Luis has only visited Kosovo, Jared has only visited Sri Lanka, Lewis has only visited Solomon Islands, Leroy has only visited Mauritania, Julio has only visited Belgium
hypothesis: Leroy didn't visit Mauritania