premise: Martin has only visited Marshall Islands, Micheal has only visited Niger, Ronald has only visited United Arab Emirates, Tommy has only visited Venezuela, Tim has only visited Gabon
hypothesis: Tim didn't visit Gabon