the fact that there exists something such that if the fact that it does not bind Bartholin hold it is apopemptic does not hold.
sent1: the saurischian is apopemptic if it does not bind Bartholin. sent2: there exists something such that if it is not multinucleate then it is a chelonian. sent3: something is sartorial if it does not uncork night-line. sent4: the saurischian is apopemptic if it binds Bartholin. sent5: the saurischian is a pawer if that it binds Bartholin hold. sent6: there is something such that if it is not convergent then it is a kind of an ostracism. sent7: there is something such that if it does not narrate comprehensive it is a fitfulness. sent8: the saurischian does narrate sulfanilamide if it does not bind Bartholin. sent9: if something is not algebraic then it is a chelonian. sent10: there exists something such that if it binds Bartholin it is apopemptic. sent11: if the night-line does not bind Bartholin it is a kind of a doubleheader. sent12: the saurischian binds Bartholin if that it is not a kind of a slicker hold. sent13: there exists something such that if it does narrate cupping it does narrate meagerness. sent14: if the saurischian is not a fitfulness then it is a Gafsa. sent15: if something is not ambulacral it is a kind of an intern.
sent1 -> hypothesis;
there exists something such that if it does not uncork night-line then it is sartorial.
sent3 -> int1: if the magnesite does not uncork night-line it is sartorial.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does not bind Bartholin hold it is apopemptic does not hold. ; $context$ = sent1: the saurischian is apopemptic if it does not bind Bartholin. sent2: there exists something such that if it is not multinucleate then it is a chelonian. sent3: something is sartorial if it does not uncork night-line. sent4: the saurischian is apopemptic if it binds Bartholin. sent5: the saurischian is a pawer if that it binds Bartholin hold. sent6: there is something such that if it is not convergent then it is a kind of an ostracism. sent7: there is something such that if it does not narrate comprehensive it is a fitfulness. sent8: the saurischian does narrate sulfanilamide if it does not bind Bartholin. sent9: if something is not algebraic then it is a chelonian. sent10: there exists something such that if it binds Bartholin it is apopemptic. sent11: if the night-line does not bind Bartholin it is a kind of a doubleheader. sent12: the saurischian binds Bartholin if that it is not a kind of a slicker hold. sent13: there exists something such that if it does narrate cupping it does narrate meagerness. sent14: if the saurischian is not a fitfulness then it is a Gafsa. sent15: if something is not ambulacral it is a kind of an intern. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__