premise: Elmer has only visited Palau, Ralph has only visited Eritrea, Jose has only visited Liberia, Dan has only visited Ireland, Jared has only visited Czech Republic, Roland has only visited Barbados
hypothesis: Dan didn't visit Belgium