premise: Everyone has visited Vatican City, Grenada, Ukraine, Liechtenstein, Sudan, North Korea, San Mmarino, Belarus, Liberia, Saint Vincent & the Grenadines and El Salvador
hypothesis: Clayton didn't visit Democratic Republic of the Congo