premise: Clyde has only visited Cameroon, Matthew has only visited Macedonia, Christian has only visited South Korea, Nicholas has only visited Slovakia, Charlie has only visited Belize
hypothesis: Nicholas didn't visit Slovakia