premise: Carlos, Philip, Javier, Alvin, John, Johnnie, Darryl, Darrell, Kurt, Alberto, Craig, Jay, Larry, Brett, Phillip, Roger, Jeremy, Edgar, Lance and Tyrone have only visited Denmark
hypothesis: Johnnie didn't visit Denmark