premise: Ivan has only visited Panama, Tuvalu, Cambodia, Uganda, Nigeria, South Sudan, Jordan, Egypt, Ethiopia, Chad, Poland, Senegal, Namibia, Morocco, Luxembourg, Syria and Azerbaijan
hypothesis: Alan didn't visit Ethiopia