premise: Luis has only visited Egypt, Vincent has only visited United Kingdom, Ray has only visited Thailand, Troy has only visited Japan, Marvin has only visited Nigeria, Eric has only visited Democratic Republic of the Congo, Sean has only visited Grenada, Joe has only visited Hungary
hypothesis: Troy didn't visit Brunei