premise: Alvin has only visited Greece, Arnold has only visited Peru, Carl has only visited Oman, Leslie has only visited Dominican Republic, Javier has only visited Ethiopia, Jerome has only visited Brazil, Randall has only visited South Korea, Matthew has only visited Mali, Terrance has only visited Turkey, Kelly has only visited Suriname, Corey has only visited Sweden, Joe has only visited Guyana
hypothesis: Matthew didn't visit Mali