premise: Mike, Juan, Pedro, Matthew, Arnold, Eduardo, Billy, Jerry, Alberto, Vincent, Leo, Miguel, Steven, Glenn, Jesse, Mitchell, Joel, Ken and Jorge have only visited Brazil
hypothesis: Mitchell didn't visit São Tomé & Prícipe