premise: Mark has only visited Mauritius, Erik has only visited Bulgaria, Richard has only visited South Korea, Harold has only visited United States, Julio has only visited Australia, Michael has only visited Suriname, Leroy has only visited Senegal
hypothesis: Julio didn't visit Serbia