premise: Christopher has only visited Mauritius, Republic of the Congo, Latvia, Marshall Islands, Morocco, Guinea-Bissau, Central African Republic, Bolivia, Portugal, Panama and Slovenia
hypothesis: Tyler didn't visit Republic of the Congo