either the non-protozoalness or the divorcing or both occurs if the desirousness occurs.
sent1: if the hanging but not the eutrophicness happens then the folly does not occur. sent2: that the outing does not occur leads to that the nonracialness does not occur and/or that the elocutionariness occurs. sent3: the disinvestment occurs if the quintupling does not occur. sent4: if the fact that the embezzlement does not occur and the deconstructionistness occurs is not true the drip occurs. sent5: that not the drift but the quintupling occurs does not hold. sent6: that both the lexicography and the clogging occurs results in that the fixing Mimidae does not occur. sent7: that the choreographicness does not occur and the collect does not occur is not wrong if the folly does not occur. sent8: if the fixing enemy does not occur then the parsing Cynodon or the lacing Plantagenet or both happens. sent9: the discreetness happens and the euclidianness occurs. sent10: that both the non-protozoalness and the non-attributiveness happens is brought about by the stroke. sent11: the hanging and the non-eutrophicness occurs. sent12: either the parsing blandness or the imposition or both occurs if the collect does not occur. sent13: if the fact that the drift does not occur and the quintupling happens does not hold the disinvestment happens. sent14: the fact that the divorce and the desirousness happens is not true if the protozoalness does not occur. sent15: if the hemodynamicness does not occur either the protozoalness does not occur or the divorcing happens or both. sent16: the desirousness does not occur if the disinvestment and the hemodynamicness occurs. sent17: that the casing does not occur yields the non-azonalness and/or that the fixing Mauritanian occurs.
void -> assump1: Let's assume that the desirousness happens.; sent13 & sent5 -> int1: the disinvestment occurs.; void -> assump2: Let's assume that the hemodynamicness occurs.; int1 & assump2 -> int2: the disinvestment and the hemodynamicness happens.; sent16 & int2 -> int3: the desirousness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the hemodynamicness does not occur hold.; sent15 & int5 -> int6: the non-protozoalness or the divorce or both occurs.; [assump1] & int6 -> hypothesis;
the fixing enemy occurs.
sent1 & sent11 -> int7: the folly does not occur.; sent7 & int7 -> int8: the choreographicness does not occur and the collect does not occur.; int8 -> int9: the fact that the collect does not occur hold.; sent12 & int9 -> int10: the parsing blandness and/or the imposition happens.;
$hypothesis$ = either the non-protozoalness or the divorcing or both occurs if the desirousness occurs. ; $context$ = sent1: if the hanging but not the eutrophicness happens then the folly does not occur. sent2: that the outing does not occur leads to that the nonracialness does not occur and/or that the elocutionariness occurs. sent3: the disinvestment occurs if the quintupling does not occur. sent4: if the fact that the embezzlement does not occur and the deconstructionistness occurs is not true the drip occurs. sent5: that not the drift but the quintupling occurs does not hold. sent6: that both the lexicography and the clogging occurs results in that the fixing Mimidae does not occur. sent7: that the choreographicness does not occur and the collect does not occur is not wrong if the folly does not occur. sent8: if the fixing enemy does not occur then the parsing Cynodon or the lacing Plantagenet or both happens. sent9: the discreetness happens and the euclidianness occurs. sent10: that both the non-protozoalness and the non-attributiveness happens is brought about by the stroke. sent11: the hanging and the non-eutrophicness occurs. sent12: either the parsing blandness or the imposition or both occurs if the collect does not occur. sent13: if the fact that the drift does not occur and the quintupling happens does not hold the disinvestment happens. sent14: the fact that the divorce and the desirousness happens is not true if the protozoalness does not occur. sent15: if the hemodynamicness does not occur either the protozoalness does not occur or the divorcing happens or both. sent16: the desirousness does not occur if the disinvestment and the hemodynamicness occurs. sent17: that the casing does not occur yields the non-azonalness and/or that the fixing Mauritanian occurs. ; $proof$ = 
void -> assump1: Let's assume that the desirousness happens.; sent13 & sent5 -> int1: the disinvestment occurs.; void -> assump2: Let's assume that the hemodynamicness occurs.; int1 & assump2 -> int2: the disinvestment and the hemodynamicness happens.; sent16 & int2 -> int3: the desirousness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the hemodynamicness does not occur hold.; sent15 & int5 -> int6: the non-protozoalness or the divorce or both occurs.; [assump1] & int6 -> hypothesis; __PROVED__