premise: Brandon has only visited South Africa, Jeffery has only visited Brazil, Gene has only visited Brunei, Jordan has only visited Palestine, Jaime has only visited Democratic Republic of the Congo, Troy has only visited France, Thomas has only visited Romania
hypothesis: Mike didn't visit South Africa