premise: Casey has only visited Cuba, Benjamin has only visited Romania, Donald has only visited Saudi Arabia, Jorge has only visited Bangladesh, Luis has only visited Sudan, Bradley has only visited Montenegro, Cecil has only visited Rwanda, Kyle has only visited São Tomé & Prícipe, Mario has only visited Malawi
hypothesis: Mario didn't visit Slovenia