premise: Tom, Jorge, Sergio, Vernon, Joseph, Anthony, Barry, Casey, Jason, Johnnie, Edwin, Freddie, Donald, Shawn, Leo, Corey, Mitchell and Kenneth have only visited Central African Republic
hypothesis: Joseph didn't visit Central African Republic