premise: Edwin has only visited Equatorial Guinea, Bruce has only visited Costa Rica, Patrick has only visited Timor-Leste, Roland has only visited Iraq, Larry has only visited Zimbabwe, Herbert has only visited Nigeria, Juan has only visited Colombia
hypothesis: Herbert didn't visit Nigeria