premise: Walter has only visited Saint Vincent & the Grenadines, Solomon Islands, Tajikistan, Nauru, Vatican City, Serbia, Jordan, The Bahamas, Poland, Syria, North Korea, Côte D'ivore, Sri Lanka, Belize, Senegal, France, Lebanon, São Tomé & Prícipe, Malaysia and Slovenia
hypothesis: Walter didn't visit Belize