the parliamentariness does not occur.
sent1: the pharmaceuticalness happens. sent2: the crucifix happens. sent3: the non-lunisolarness leads to that the deflationariness and the ripping occurs. sent4: if the event does not occur then the collapsibleness happens. sent5: if the abstemiousness does not occur then the alularness does not occur. sent6: the humming does not occur. sent7: if the crucifix does not occur that the parliamentariness does not occur but the gerundialness occurs does not hold. sent8: the lacustrineness occurs. sent9: the exploiting is prevented by that the lacustrineness occurs. sent10: the mumbling does not occur if the crucifix occurs. sent11: that the gerundialness happens is brought about by that the abstemiousness happens but the mumbling does not occur. sent12: if the gerundialness occurs the parliamentariness happens. sent13: the declining but not the tracing pedicure happens. sent14: the loping happens and the queening infamy does not occur. sent15: the deflationariness does not occur. sent16: the lunisolarness does not occur if both the anaphasicness and the traceableness occurs. sent17: if that the deflationariness does not occur hold that the lacrimalness occurs but the alularness does not occur is not true. sent18: if that the abstemiousness does not occur is not false then the lacrimalness occurs but the alularness does not occur.
void -> assump1: Let's assume that the abstemiousness does not occur.; sent18 & assump1 -> int1: the lacrimalness occurs and the alularness does not occur.; sent17 & sent15 -> int2: that the lacrimalness and the non-alularness happens is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the abstemiousness occurs.; sent10 & sent2 -> int5: the mumbling does not occur.; int4 & int5 -> int6: the abstemiousness occurs and the mumbling does not occur.; int6 & sent11 -> int7: the gerundialness occurs.; int7 & sent12 -> hypothesis;
the laicizing toadflax happens.
$hypothesis$ = the parliamentariness does not occur. ; $context$ = sent1: the pharmaceuticalness happens. sent2: the crucifix happens. sent3: the non-lunisolarness leads to that the deflationariness and the ripping occurs. sent4: if the event does not occur then the collapsibleness happens. sent5: if the abstemiousness does not occur then the alularness does not occur. sent6: the humming does not occur. sent7: if the crucifix does not occur that the parliamentariness does not occur but the gerundialness occurs does not hold. sent8: the lacustrineness occurs. sent9: the exploiting is prevented by that the lacustrineness occurs. sent10: the mumbling does not occur if the crucifix occurs. sent11: that the gerundialness happens is brought about by that the abstemiousness happens but the mumbling does not occur. sent12: if the gerundialness occurs the parliamentariness happens. sent13: the declining but not the tracing pedicure happens. sent14: the loping happens and the queening infamy does not occur. sent15: the deflationariness does not occur. sent16: the lunisolarness does not occur if both the anaphasicness and the traceableness occurs. sent17: if that the deflationariness does not occur hold that the lacrimalness occurs but the alularness does not occur is not true. sent18: if that the abstemiousness does not occur is not false then the lacrimalness occurs but the alularness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the abstemiousness does not occur.; sent18 & assump1 -> int1: the lacrimalness occurs and the alularness does not occur.; sent17 & sent15 -> int2: that the lacrimalness and the non-alularness happens is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the abstemiousness occurs.; sent10 & sent2 -> int5: the mumbling does not occur.; int4 & int5 -> int6: the abstemiousness occurs and the mumbling does not occur.; int6 & sent11 -> int7: the gerundialness occurs.; int7 & sent12 -> hypothesis; __DISPROVED__