premise: Leonard has only visited Greece, Tuvalu, Paraguay, Saint Lucia, Slovenia, Maldives, South Sudan, Monaco, Barbados, Papua New Guinea, Turkey, Zimbabwe, Chad, Sudan, Costa Rica, Hungary and Burkina
hypothesis: Arthur didn't visit Zimbabwe