premise: Christian has only visited Republic of the Congo, Paul has only visited Angola, Mark has only visited Honduras, Kevin has only visited Hungary, Francisco has only visited Czech Republic
hypothesis: Lawrence didn't visit Republic of the Congo