premise: Arthur has only visited El Salvador, Leo has only visited Luxembourg, Ricardo has only visited Zimbabwe, Henry has only visited Russia, Ian has only visited Cabo, Felix has only visited Honduras
hypothesis: Felix didn't visit Cuba