the particulateness does not occur and the birr does not occur if that the contorting tilter does not occur hold.
sent1: the fact that both the contorting tilter and the masquerade happens is not true. sent2: if the scumble does not occur then the Mancunianness does not occur. sent3: the contorting Oriental but not the dealing occurs. sent4: that the submersion does not occur and/or the pleating does not occur is triggered by the thrilling Gluck. sent5: the sampling does not occur. sent6: that not the evisceration but the birling happens is not true. sent7: if the Bell and the pleating occurs the birr does not occur. sent8: if the Bell happens and the pleat does not occur then the birr does not occur. sent9: the revenging happens if the contorting tilter happens. sent10: that the avail occurs triggers that the contorting attribution does not occur and the thrilling shiksa does not occur. sent11: if the bedizening fart does not occur then the pleating does not occur. sent12: the particulateness does not occur and the birr does not occur if the contorting tilter happens. sent13: the submersion and the thrilling Gluck happens. sent14: the Bell occurs if the submersion does not occur. sent15: that the masquerading but not the postponement happens is false if the particulateness happens. sent16: the fact that the contorting tilter does not occur and the masquerading occurs does not hold. sent17: that the bedizening narco-state does not occur and the granulation does not occur is brought about by that the coherentness happens. sent18: the transgressing does not occur and the inessential does not occur if the sampling does not occur. sent19: the inessentialness does not occur. sent20: the bedizening fart does not occur and the inessential does not occur. sent21: if the bedizening fart does not occur then the Bell but not the pleating happens. sent22: that the submersion happens prevents that the postponement does not occur. sent23: if the masquerade does not occur and the postponement occurs the particulateness does not occur.
void -> assump2: Let's assume that the contorting tilter does not occur.; void -> assump1: Let's assume that the masquerading happens.; assump2 & assump1 -> int1: not the contorting tilter but the masquerading occurs.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the masquerade does not occur.; sent13 -> int4: the submersion happens.; sent22 & int4 -> int5: the postponement happens.; int3 & int5 -> int6: the masquerade does not occur and the postponement happens.; int6 & sent23 -> int7: the particulate does not occur.; sent20 -> int8: the bedizening fart does not occur.; sent21 & int8 -> int9: the Bell occurs and the pleat does not occur.; sent8 & int9 -> int10: the birr does not occur.; int7 & int10 -> int11: the particulateness does not occur and the birr does not occur.; [assump2] & int11 -> hypothesis;
the revenging occurs.
sent18 & sent5 -> int12: the transgressing does not occur and the inessentialness does not occur.; int12 -> int13: the inessentialness does not occur.;
$hypothesis$ = the particulateness does not occur and the birr does not occur if that the contorting tilter does not occur hold. ; $context$ = sent1: the fact that both the contorting tilter and the masquerade happens is not true. sent2: if the scumble does not occur then the Mancunianness does not occur. sent3: the contorting Oriental but not the dealing occurs. sent4: that the submersion does not occur and/or the pleating does not occur is triggered by the thrilling Gluck. sent5: the sampling does not occur. sent6: that not the evisceration but the birling happens is not true. sent7: if the Bell and the pleating occurs the birr does not occur. sent8: if the Bell happens and the pleat does not occur then the birr does not occur. sent9: the revenging happens if the contorting tilter happens. sent10: that the avail occurs triggers that the contorting attribution does not occur and the thrilling shiksa does not occur. sent11: if the bedizening fart does not occur then the pleating does not occur. sent12: the particulateness does not occur and the birr does not occur if the contorting tilter happens. sent13: the submersion and the thrilling Gluck happens. sent14: the Bell occurs if the submersion does not occur. sent15: that the masquerading but not the postponement happens is false if the particulateness happens. sent16: the fact that the contorting tilter does not occur and the masquerading occurs does not hold. sent17: that the bedizening narco-state does not occur and the granulation does not occur is brought about by that the coherentness happens. sent18: the transgressing does not occur and the inessential does not occur if the sampling does not occur. sent19: the inessentialness does not occur. sent20: the bedizening fart does not occur and the inessential does not occur. sent21: if the bedizening fart does not occur then the Bell but not the pleating happens. sent22: that the submersion happens prevents that the postponement does not occur. sent23: if the masquerade does not occur and the postponement occurs the particulateness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the contorting tilter does not occur.; void -> assump1: Let's assume that the masquerading happens.; assump2 & assump1 -> int1: not the contorting tilter but the masquerading occurs.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the masquerade does not occur.; sent13 -> int4: the submersion happens.; sent22 & int4 -> int5: the postponement happens.; int3 & int5 -> int6: the masquerade does not occur and the postponement happens.; int6 & sent23 -> int7: the particulate does not occur.; sent20 -> int8: the bedizening fart does not occur.; sent21 & int8 -> int9: the Bell occurs and the pleat does not occur.; sent8 & int9 -> int10: the birr does not occur.; int7 & int10 -> int11: the particulateness does not occur and the birr does not occur.; [assump2] & int11 -> hypothesis; __PROVED__