premise: Stephen has only visited Libya, Switzerland, Peru, Lebanon, Botswana, Papua New Guinea, Belgium, São Tomé & Prícipe, Ecuador, Tajikistan, Antigua & Barbuda, Sudan, Mongolia, Nepal, Hungary, Italy, Latvia and France
hypothesis: Stephen didn't visit Belgium