premise: Alan has only visited Republic of the Congo, Oscar has only visited Malta, Leroy has only visited Cabo, Leo has only visited Uruguay, Wesley has only visited Slovenia, Howard has only visited Greece
hypothesis: Alan didn't visit Mali