the plantalness does not occur.
sent1: the discountenancing Kama does not occur if that the non-undulatoryness and the discountenancing Kama happens is wrong. sent2: if the propagandistness occurs the fact that the undulatoriness does not occur and the discountenancing Kama happens is not right. sent3: that the hindrance does not occur and/or that the aborting does not occur is triggered by that the hospitableness happens. sent4: either the hospitableness happens or the plantalness happens or both. sent5: the fact that the debasing occurs hold if the chlorination occurs. sent6: the salting thistledown does not occur and the conditioner happens. sent7: that not the nonclassicalness but the Nestorianness occurs does not hold. sent8: if the unsanitariness happens the hindrance does not occur but the aborting happens. sent9: that that the discountenancing Kama does not occur results in that the hospitableness happens and the plusness occurs is true. sent10: that not the conjunction but the salting nightshirt happens is triggered by the unionness. sent11: the unsanitariness does not occur if the hospitableness occurs. sent12: the non-plantalness is brought about by that the fortification does not occur. sent13: the flattering does not occur if that the cogitativeness does not occur is not wrong. sent14: if the discountenancing proconvertin occurs the fact that the plebiscite happens is right. sent15: the unsanitariness happens if the fortification occurs. sent16: that not the hindrance but the aborting occurs is false. sent17: both the propagandistness and the lingual happens if that the pyemicness does not occur is not wrong.
void -> assump1: Let's assume that the fortification occurs.; sent15 & assump1 -> int1: that the unsanitariness happens is correct.; int1 & sent8 -> int2: that not the hindrance but the abort happens hold.; int2 & sent16 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fortification does not occur.; int4 & sent12 -> hypothesis;
not the nonclassicalness but the unserviceableness occurs.
$hypothesis$ = the plantalness does not occur. ; $context$ = sent1: the discountenancing Kama does not occur if that the non-undulatoryness and the discountenancing Kama happens is wrong. sent2: if the propagandistness occurs the fact that the undulatoriness does not occur and the discountenancing Kama happens is not right. sent3: that the hindrance does not occur and/or that the aborting does not occur is triggered by that the hospitableness happens. sent4: either the hospitableness happens or the plantalness happens or both. sent5: the fact that the debasing occurs hold if the chlorination occurs. sent6: the salting thistledown does not occur and the conditioner happens. sent7: that not the nonclassicalness but the Nestorianness occurs does not hold. sent8: if the unsanitariness happens the hindrance does not occur but the aborting happens. sent9: that that the discountenancing Kama does not occur results in that the hospitableness happens and the plusness occurs is true. sent10: that not the conjunction but the salting nightshirt happens is triggered by the unionness. sent11: the unsanitariness does not occur if the hospitableness occurs. sent12: the non-plantalness is brought about by that the fortification does not occur. sent13: the flattering does not occur if that the cogitativeness does not occur is not wrong. sent14: if the discountenancing proconvertin occurs the fact that the plebiscite happens is right. sent15: the unsanitariness happens if the fortification occurs. sent16: that not the hindrance but the aborting occurs is false. sent17: both the propagandistness and the lingual happens if that the pyemicness does not occur is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fortification occurs.; sent15 & assump1 -> int1: that the unsanitariness happens is correct.; int1 & sent8 -> int2: that not the hindrance but the abort happens hold.; int2 & sent16 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fortification does not occur.; int4 & sent12 -> hypothesis; __PROVED__