premise: Diane has not visited Portugal, Joan has not visited Democratic Republic of the Congo, Fannie has visited Japan and if Joan has not visited Democratic Republic of the Congo then Marie has not visited Pakistan
hypothesis: Marie has not visited Pakistan