premise: Aaron has only visited Bangladesh, Saint Kitts & Nevis, South Africa, Ghana, North Korea, United States, South Korea, Finland, Armenia, Philippines, Mozambique and Central African Republic
hypothesis: Kirk didn't visit Mozambique