premise: Everyone has visited Mozambique, Algeria, Belarus, Poland, Laos, Central African Republic, South Korea, Latvia, The Bahamas, Lebanon, Croatia, Bosnia & Herzegovinia and Niger
hypothesis: Herman did visit South Korea