premise: Carl has only visited Oman, Luis has only visited Comoros, Russell has only visited Barbados, Alberto has only visited Sri Lanka, Kelly has only visited Lithuania, Marc has only visited Ghana, Clayton has only visited Bhutan, Gary has only visited France, Theodore has only visited North Korea, Kurt has only visited Palestine, Brent has only visited Luxembourg
hypothesis: Brent didn't visit Luxembourg