premise: Carlos has only visited Monaco, Wallace has only visited Paraguay, Leroy has only visited Andorra, Calvin has only visited Luxembourg, Ray has only visited Botswana, Kurt has only visited Panama, Adrian has only visited El Salvador
hypothesis: Leroy didn't visit Andorra