premise: Bernard has only visited United Arab Emirates, Lithuania, Thailand, Australia, Norway, Uruguay, São Tomé & Prícipe, Brunei, Algeria, Ecuador, Egypt, Vatican City and Ghana
hypothesis: Bernard didn't visit Lithuania