premise: Theodore has only visited Moldova, Kosovo, United Kingdom, Yemen, Hungary, Slovenia, Iraq, Tonga, Azerbaijan, Mali, Oman, Equatorial Guinea, Kuwait, Venezuela, Algeria, Israel, Uzbekistan and Senegal
hypothesis: Theodore didn't visit Hungary