premise: Robert has only visited Indonesia, Willard has only visited Bahrain, Alberto has only visited Afghanistan, Troy has only visited France, Curtis has only visited United Arab Emirates, Armando has only visited Vietnam, Floyd has only visited Burundi, John has only visited Vanuatu
hypothesis: Armando didn't visit Vietnam