premise: Carl, Herman, Alberto, Darren, Ray, Johnny, Charles, Todd, Maurice, Rick, Harry, Ted, Terry and Robert have only visited Democratic Republic of the Congo
hypothesis: Todd didn't visit Democratic Republic of the Congo