premise: Jonathan has only visited Haiti, Johnnie has only visited United States, Herman has only visited Kenya, Mark has only visited Iraq, Oscar has only visited Lebanon, Dustin has only visited Lithuania, Erik has only visited Greece, Max has only visited Sierra Leone
hypothesis: Kenneth didn't visit Lithuania