premise: Everyone has visited Mozambique, Myanmar, Maldives, Belgium, Slovakia, Vietnam, Brunei, United States, Venezuela, San Mmarino, Australia, Kazakhstan, Guatemala, Laos and The Bahamas
hypothesis: Alvin didn't visit Haiti