if the Frenching disinterestedness happens then the fact that the weed does not occur or the meatiness happens or both is not correct.
sent1: if the Frenching disinterestedness happens the weeding occurs. sent2: that that the non-biblioticsness or the comparative or both occurs is true is wrong if the pyrotechnicsness occurs. sent3: the weeding and/or the meatiness happens. sent4: if the sales occurs the autolyticness does not occur. sent5: that the impoverishing happens is prevented by the run-up. sent6: the adaxialness does not occur. sent7: that the deposing A-team does not occur and/or the counterfire happens leads to that the menopausalness does not occur. sent8: that the non-hilarness and/or the FM happens is not incorrect if the dehydrogenating silkscreen occurs. sent9: the preamble does not occur or the give occurs or both if the leastness occurs. sent10: the Frenching disinterestedness occurs if either the weeding does not occur or the meatiness occurs or both. sent11: either the seminar does not occur or the dehydrogenating Mansi occurs or both. sent12: the weed occurs. sent13: that either the oblation does not occur or the resubmitting Osmerus happens or both is not correct. sent14: the fact that the Frenching disinterestedness does not occur is right if the fact that the weeding does not occur hold. sent15: the dehydrogenating Mansi occurs. sent16: the fact that the sunning does not occur and/or the antennalness happens does not hold. sent17: that the Frenching disinterestedness does not occur is triggered by that the weed does not occur and/or that the meatiness happens. sent18: the gyneolatry does not occur. sent19: that the Frenching disinterestedness occurs results in either that the weed does not occur or the meatiness or both.
void -> assump2: Let's assume that either the weed does not occur or the meatiness happens or both.; sent17 & assump2 -> int1: the Frenching disinterestedness does not occur.; void -> assump1: Let's assume that the Frenching disinterestedness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the weeding does not occur or the meatiness happens or both is incorrect.; [assump1] & int3 -> hypothesis;
the preamble does not occur or the giving happens or both.
$hypothesis$ = if the Frenching disinterestedness happens then the fact that the weed does not occur or the meatiness happens or both is not correct. ; $context$ = sent1: if the Frenching disinterestedness happens the weeding occurs. sent2: that that the non-biblioticsness or the comparative or both occurs is true is wrong if the pyrotechnicsness occurs. sent3: the weeding and/or the meatiness happens. sent4: if the sales occurs the autolyticness does not occur. sent5: that the impoverishing happens is prevented by the run-up. sent6: the adaxialness does not occur. sent7: that the deposing A-team does not occur and/or the counterfire happens leads to that the menopausalness does not occur. sent8: that the non-hilarness and/or the FM happens is not incorrect if the dehydrogenating silkscreen occurs. sent9: the preamble does not occur or the give occurs or both if the leastness occurs. sent10: the Frenching disinterestedness occurs if either the weeding does not occur or the meatiness occurs or both. sent11: either the seminar does not occur or the dehydrogenating Mansi occurs or both. sent12: the weed occurs. sent13: that either the oblation does not occur or the resubmitting Osmerus happens or both is not correct. sent14: the fact that the Frenching disinterestedness does not occur is right if the fact that the weeding does not occur hold. sent15: the dehydrogenating Mansi occurs. sent16: the fact that the sunning does not occur and/or the antennalness happens does not hold. sent17: that the Frenching disinterestedness does not occur is triggered by that the weed does not occur and/or that the meatiness happens. sent18: the gyneolatry does not occur. sent19: that the Frenching disinterestedness occurs results in either that the weed does not occur or the meatiness or both. ; $proof$ = 
void -> assump2: Let's assume that either the weed does not occur or the meatiness happens or both.; sent17 & assump2 -> int1: the Frenching disinterestedness does not occur.; void -> assump1: Let's assume that the Frenching disinterestedness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the weeding does not occur or the meatiness happens or both is incorrect.; [assump1] & int3 -> hypothesis; __PROVED__