premise: Antonio, Jeff, Jimmie, Wade, Alberto, Reginald, Tracy, Freddie, Michael, Tyrone, Richard, Mitchell, Stanley, Luis, Danny, Guy, Matthew, Steven, Howard and Francis have only visited Federated States of Micronesia
hypothesis: Jeff didn't visit Mali