premise: Virgil has only visited Bolivia, Allen has only visited Libya, Lance has only visited Bangladesh, Angel has only visited Vietnam, Harold has only visited Cyprus, Sean has only visited Australia, Jimmy has only visited Somalia, Randy has only visited Dominica, Tracy has only visited Senegal, Troy has only visited Mexico, Dan has only visited Cuba, Wesley has only visited Colombia
hypothesis: Angel didn't visit Vietnam