premise: Everyone has visited Iran, Vanuatu, Grenada, Democratic Republic of the Congo, Haiti, Syria, Morocco, Panama, Paraguay, Brazil, Tajikistan, Moldova, Croatia, Serbia, Saint Lucia and Chile
hypothesis: Jack didn't visit Australia