not the proposing haustorium but the cucurbitaceousness happens.
sent1: the proposing Menshevik does not occur. sent2: if the prayer does not occur then that the fact that that not the proposing haustorium but the cucurbitaceousness happens is correct is not correct hold. sent3: the fact that the lying and the proposing Sabaoth happens does not hold. sent4: the proposing fourteenth happens. sent5: that the proposing jessamine happens yields the non-attachableness. sent6: the proposing fourteenth does not occur if that not the proposing haustorium but the cucurbitaceousness happens does not hold. sent7: the fact that the filling blacklist and the platonicness happens is not right. sent8: that the accrediting Stenotomus does not occur and the refining occurs is not right. sent9: the carnival does not occur and the proposing Seljuk occurs. sent10: that the intercommunion does not occur is brought about by that the catapulting occurs. sent11: the jerk does not occur and the active happens. sent12: the unrecoverableness brings about that the ebracteateness does not occur. sent13: not the inhospitableness but the mile happens.
void -> assump1: Let's assume that the fact that the proposing haustorium does not occur and the cucurbitaceousness occurs is incorrect.; sent6 & assump1 -> int1: the proposing fourteenth does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the fact that the proposing haustorium does not occur and the cucurbitaceousness happens is not right.
$hypothesis$ = not the proposing haustorium but the cucurbitaceousness happens. ; $context$ = sent1: the proposing Menshevik does not occur. sent2: if the prayer does not occur then that the fact that that not the proposing haustorium but the cucurbitaceousness happens is correct is not correct hold. sent3: the fact that the lying and the proposing Sabaoth happens does not hold. sent4: the proposing fourteenth happens. sent5: that the proposing jessamine happens yields the non-attachableness. sent6: the proposing fourteenth does not occur if that not the proposing haustorium but the cucurbitaceousness happens does not hold. sent7: the fact that the filling blacklist and the platonicness happens is not right. sent8: that the accrediting Stenotomus does not occur and the refining occurs is not right. sent9: the carnival does not occur and the proposing Seljuk occurs. sent10: that the intercommunion does not occur is brought about by that the catapulting occurs. sent11: the jerk does not occur and the active happens. sent12: the unrecoverableness brings about that the ebracteateness does not occur. sent13: not the inhospitableness but the mile happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the proposing haustorium does not occur and the cucurbitaceousness occurs is incorrect.; sent6 & assump1 -> int1: the proposing fourteenth does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__