premise: Mike has only visited Iran, Bahrain, Russia, Botswana, Kenya, San Mmarino, Guatemala, Finland, Equatorial Guinea, Luxembourg, Namibia, Mongolia, China, Uzbekistan, Brunei, Mauritius, Oman and Lithuania
hypothesis: Mike didn't visit Brunei