premise: Theodore, Frank, Craig, Lloyd, Nelson, Raymond, Marvin, Donald, Phillip, Jay, Glenn, Isaac, Zachary, Adam, Ken, Marc, Francisco and Sean have only visited Republic of the Congo
hypothesis: Ken didn't visit Ireland