premise: Amy has not visited Belize, Suzanne has visited Mauritius, Regina has not visited Niger and if Regina has visited Niger then Karen has visited Bosnia & Herzegovinia
hypothesis: Karen has not visited Bosnia & Herzegovinia