premise: Everyone has visited Bahrain, Czech Republic, Iran, Republic of the Congo, Tonga, Haiti, Zambia, Kuwait, Yemen, Mauritius, Peru, Venezuela, Namibia, Malaysia, Finland and Mali
hypothesis: Tyler did visit Mauritius