premise: Tyrone has only visited Romania, Dwayne has only visited São Tomé & Prícipe, Ian has only visited Mali, Manuel has only visited Japan, Cecil has only visited Lithuania, Allan has only visited Mauritania, Edward has only visited Saudi Arabia, Ernest has only visited Lebanon, Jonathan has only visited China, John has only visited Ethiopia
hypothesis: Enrique didn't visit Ethiopia