premise: David, Nathaniel, Allan, Craig, Brett, Sergio, William, Chad, Wade, Phillip, Marshall, Leo, Jesus, Kurt, Darryl, Brian, Walter, Theodore and Eddie have only visited Czech Republic
hypothesis: Theodore didn't visit Tuvalu