premise: Everyone has visited Turkmenistan, Nauru, Comoros, Moldova, Australia, South Korea, Canada, Kenya, Tonga, Croatia, North Korea, Switzerland, Rwanda, Vatican City, United Kingdom, Senegal, Saint Kitts & Nevis, Nepal, Grenada and Bulgaria
hypothesis: Gilbert did visit South Korea