premise: Javier has only visited Portugal, Adam has only visited Venezuela, Tyrone has only visited Sudan, Elmer has only visited South Sudan, Steven has only visited Qatar, Daniel has only visited El Salvador, Kenneth has only visited Denmark, Greg has only visited Tanzania, Reginald has only visited Yemen, Roberto has only visited Japan
hypothesis: Kenneth didn't visit Gabon