premise: Claude has only visited Slovakia, Mario has only visited Kazakhstan, Vincent has only visited North Korea, Maurice has only visited Norway, Cody has only visited Liberia, Jerry has only visited Germany, Jesus has only visited Kyrgyzstan, Theodore has only visited Belize, Ronald has only visited Grenada, Christopher has only visited Czech Republic
hypothesis: Mario didn't visit Burkina