premise: Adam has only visited Somalia, Kent has only visited Myanmar, Nelson has only visited China, Jesus has only visited Brazil, Zachary has only visited Syria, Harold has only visited Ghana, Chester has only visited New Zealand, Marion has only visited Costa Rica, Todd has only visited Tunisia, Aaron has only visited Andorra, Douglas has only visited Botswana, Allan has only visited Luxembourg
hypothesis: Allan didn't visit Luxembourg