premise: Everyone has visited Cameroon, South Korea, Malta, Lebanon, Bosnia & Herzegovinia, Greece, Armenia, Bolivia, Nigeria, Antigua & Barbuda, Kosovo, Tonga, Cabo, Cuba, Portugal and Indonesia
hypothesis: Frederick didn't visit South Korea