there exists something such that if it is not inquisitorial and it is glottal it is not an effigy.
sent1: the goddaughter is not an effigy if it is both not non-inquisitorial and glottal. sent2: there exists something such that if it dissembles and it does sponge it is not a dissoluteness. sent3: if the goddaughter is both non-inquisitorial and not non-glottal then it is not an effigy. sent4: there is something such that if it is inquisitorial and is glottal it is not a kind of an effigy. sent5: if something that is not a kind of a vulvectomy is a demonstration then it is not a fireman. sent6: if the goddaughter is not an effigy but it rewrites ameba then it is not nonaddictive.
sent3 -> hypothesis;
there is something such that if it is not a vulvectomy but a demonstration it is not a kind of a fireman.
sent5 -> int1: if the tenpins is not a kind of a vulvectomy and is a kind of a demonstration then the fact that it is not a fireman hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not inquisitorial and it is glottal it is not an effigy. ; $context$ = sent1: the goddaughter is not an effigy if it is both not non-inquisitorial and glottal. sent2: there exists something such that if it dissembles and it does sponge it is not a dissoluteness. sent3: if the goddaughter is both non-inquisitorial and not non-glottal then it is not an effigy. sent4: there is something such that if it is inquisitorial and is glottal it is not a kind of an effigy. sent5: if something that is not a kind of a vulvectomy is a demonstration then it is not a fireman. sent6: if the goddaughter is not an effigy but it rewrites ameba then it is not nonaddictive. ; $proof$ = 
sent3 -> hypothesis; __PROVED__