premise: Bernard has only visited Honduras, Senegal, Palestine, Kosovo, Montenegro, Bangladesh, Iran, Dominican Republic, Iraq, Philippines, North Korea, Ghana, Thailand, Mozambique and Brazil
hypothesis: Leon didn't visit Brazil