premise: Clifford, Carl, Arthur, Christopher, Harold, John, Bruce, Francisco, Phillip, Alvin, Jimmy, Travis, Randall, Marion, Stanley, Brian and Felix have only visited Venezuela
hypothesis: Alvin didn't visit Democratic Republic of the Congo