premise: Rene has only visited Sudan, Tyrone has only visited Kenya, Jimmy has only visited Botswana, Jesus has only visited Honduras, Leonard has only visited The Bahamas, Wallace has only visited Fiji, Johnny has only visited Vatican City, Marvin has only visited Timor-Leste
hypothesis: Tyrone didn't visit Burkina