premise: Everyone has visited Czech Republic, Malawi, Lithuania, Morocco, Myanmar, Brunei, Andorra, Yemen, Somalia, Vatican City, Mongolia, Venezuela, Guyana, Macedonia, Angola, Pakistan, Maldives and Barbados
hypothesis: Dave didn't visit Dominica