premise: Walter has only visited Vatican City, Haiti, Mauritius, Solomon Islands, Lebanon, Belarus, India, Tunisia, Estonia, North Korea, China, Mali, Peru, Colombia, Senegal, Seychelles, Sudan and Ghana
hypothesis: Walter didn't visit Vatican City