premise: Jeffery has only visited Niger, Central African Republic, Timor-Leste, Saudi Arabia, Turkmenistan, Czech Republic, Spain, Lebanon, Lesotho, Comoros, Australia, Bolivia, Zimbabwe, Croatia, Sudan, Algeria, Maldives, Egypt and Libya
hypothesis: Roy didn't visit Zimbabwe