premise: Steven has only visited Tajikistan, Theodore has only visited Burundi, Bernard has only visited Macedonia, Stephen has only visited Mongolia, Jon has only visited Federated States of Micronesia, Jacob has only visited Vanuatu, Ryan has only visited El Salvador, Mark has only visited Portugal, Nathaniel has only visited Liberia, Elmer has only visited Senegal
hypothesis: Mark didn't visit Czech Republic