the festooning Beadle happens.
sent1: the conviviality happens if the festooning Beadle does not occur. sent2: that the procession does not occur and the pteridologicalness happens is triggered by that the swoosh occurs. sent3: the jactitation does not occur. sent4: that the rabbinate does not occur and the subtilizing confiscation occurs causes that the swoosh occurs. sent5: that not the rabbinate but the subtilizing confiscation occurs is brought about by that the priding does not occur. sent6: if the jactitation does not occur that the conviviality occurs and the aggrandizement does not occur is false. sent7: if the fact that the digitalness does not occur is correct that the stranding geologist does not occur and the jactitation does not occur is incorrect. sent8: the hemolyticness does not occur. sent9: that the conviviality happens is right. sent10: the supervision happens. sent11: the binucleateness does not occur if that the binucleateness and the procession happens is not right. sent12: the fact that the festooning Beadle does not occur if that the stranding geologist does not occur and the jactitation does not occur is not right is true. sent13: the waiving and the digitalness occurs if the binucleateness does not occur. sent14: if the procession does not occur then both the binucleateness and the hemolyticness occurs. sent15: that the binucleateness and the procession occurs is false if the hemolyticness does not occur. sent16: if that the festooning Beadle does not occur is correct the conviviality occurs but the aggrandizement does not occur. sent17: if the binucleateness happens the digitalness does not occur.
void -> assump1: Let's assume that that the festooning Beadle does not occur is not incorrect.; sent16 & assump1 -> int1: that the conviviality but not the aggrandizement happens hold.; sent6 & sent3 -> int2: the fact that the conviviality but not the aggrandizement occurs does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the festooning Beadle does not occur.
$hypothesis$ = the festooning Beadle happens. ; $context$ = sent1: the conviviality happens if the festooning Beadle does not occur. sent2: that the procession does not occur and the pteridologicalness happens is triggered by that the swoosh occurs. sent3: the jactitation does not occur. sent4: that the rabbinate does not occur and the subtilizing confiscation occurs causes that the swoosh occurs. sent5: that not the rabbinate but the subtilizing confiscation occurs is brought about by that the priding does not occur. sent6: if the jactitation does not occur that the conviviality occurs and the aggrandizement does not occur is false. sent7: if the fact that the digitalness does not occur is correct that the stranding geologist does not occur and the jactitation does not occur is incorrect. sent8: the hemolyticness does not occur. sent9: that the conviviality happens is right. sent10: the supervision happens. sent11: the binucleateness does not occur if that the binucleateness and the procession happens is not right. sent12: the fact that the festooning Beadle does not occur if that the stranding geologist does not occur and the jactitation does not occur is not right is true. sent13: the waiving and the digitalness occurs if the binucleateness does not occur. sent14: if the procession does not occur then both the binucleateness and the hemolyticness occurs. sent15: that the binucleateness and the procession occurs is false if the hemolyticness does not occur. sent16: if that the festooning Beadle does not occur is correct the conviviality occurs but the aggrandizement does not occur. sent17: if the binucleateness happens the digitalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the festooning Beadle does not occur is not incorrect.; sent16 & assump1 -> int1: that the conviviality but not the aggrandizement happens hold.; sent6 & sent3 -> int2: the fact that the conviviality but not the aggrandizement occurs does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__