premise: Andre has only visited Eritrea, Barry has only visited Morocco, Maurice has only visited Madagascar, Bryan has only visited Czech Republic, Roberto has only visited Uzbekistan
hypothesis: Andre didn't visit Tuvalu