premise: Clifford has only visited Ireland, Thomas has only visited Sudan, Angel has only visited Syria, Jerome has only visited Afghanistan, Barry has only visited Denmark, Bruce has only visited Kazakhstan, Isaac has only visited Turkey, Duane has only visited Angola, Dan has only visited Albania, Vincent has only visited Israel, Leo has only visited Austria
hypothesis: Dan didn't visit Botswana