premise: Daniel, Clayton, Jeffrey, Jerry, Theodore, Charles, Rene, Virgil, Ernest, Vincent, Dean, Andre, Jack, Lawrence, Mitchell, Jeremy, Robert and Christian have only visited Venezuela
hypothesis: Virgil didn't visit Sudan