premise: Ruben, Mathew, Terry, Tracy, Kevin, Norman, Kenneth, Lawrence, Jimmy, Tyrone, Mario, Phillip, Kurt, Ian, Lonnie, Chris, Angel, Everett, Edwin and Donald have only visited Libya
hypothesis: Ruben didn't visit Libya