premise: Everyone has visited Tunisia, Switzerland, Lithuania, Chad, France, Vanuatu, Nigeria, Netherlands, Croatia, Malawi, Bahrain, Australia, Belize, Vatican City, Ghana, Laos, Ecuador and Mali
hypothesis: Ricardo did visit Lithuania