that the whitingness does not occur hold.
sent1: the fact that the refuge does not occur is true. sent2: if the arthroscopy does not occur and the Secession does not occur the repenting trinketry does not occur. sent3: the transference does not occur. sent4: if the fistfight does not occur then the repenting reformism does not occur and the chomping Timothy does not occur. sent5: the floweriness happens. sent6: the radial-pliness does not occur. sent7: the cut happens. sent8: if the contingency does not occur then that the tarnishing geologist does not occur and the absenting does not occur is correct. sent9: that the contingency does not occur is brought about by that the whiting does not occur and the strife does not occur. sent10: the strife does not occur. sent11: both the tarnishing geologist and the non-cutness happens if the chomping hatful happens. sent12: the legislativeness does not occur if the transference does not occur. sent13: if the absentness does not occur the fact that the astronomicness does not occur is not incorrect. sent14: the medication does not occur. sent15: if the tarnishing geologist happens but the cut does not occur the absentness does not occur. sent16: that the misfortune does not occur and the part does not occur triggers the non-platyrrhineness. sent17: the chomping Youngstown does not occur. sent18: if that the tarnishing chair does not occur hold the non-fistulousness and the non-Syrianness happens. sent19: the epiphyticness does not occur. sent20: the nagging Hertfordshire does not occur and the tarnishing sorbate does not occur. sent21: the nonechoicness happens. sent22: the perfection occurs. sent23: that the tarnishing geologist does not occur and the absenting does not occur prevents the cut.
void -> assump1: Let's assume that the whitingness does not occur.; assump1 & sent10 -> int1: the whitingness does not occur and the strife does not occur.; int1 & sent9 -> int2: the contingency does not occur.; int2 & sent8 -> int3: the tarnishing geologist does not occur and the absenting does not occur.; int3 & sent23 -> int4: the cutting does not occur.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the astronomicness does not occur and the repenting carnosaur does not occur.
$hypothesis$ = that the whitingness does not occur hold. ; $context$ = sent1: the fact that the refuge does not occur is true. sent2: if the arthroscopy does not occur and the Secession does not occur the repenting trinketry does not occur. sent3: the transference does not occur. sent4: if the fistfight does not occur then the repenting reformism does not occur and the chomping Timothy does not occur. sent5: the floweriness happens. sent6: the radial-pliness does not occur. sent7: the cut happens. sent8: if the contingency does not occur then that the tarnishing geologist does not occur and the absenting does not occur is correct. sent9: that the contingency does not occur is brought about by that the whiting does not occur and the strife does not occur. sent10: the strife does not occur. sent11: both the tarnishing geologist and the non-cutness happens if the chomping hatful happens. sent12: the legislativeness does not occur if the transference does not occur. sent13: if the absentness does not occur the fact that the astronomicness does not occur is not incorrect. sent14: the medication does not occur. sent15: if the tarnishing geologist happens but the cut does not occur the absentness does not occur. sent16: that the misfortune does not occur and the part does not occur triggers the non-platyrrhineness. sent17: the chomping Youngstown does not occur. sent18: if that the tarnishing chair does not occur hold the non-fistulousness and the non-Syrianness happens. sent19: the epiphyticness does not occur. sent20: the nagging Hertfordshire does not occur and the tarnishing sorbate does not occur. sent21: the nonechoicness happens. sent22: the perfection occurs. sent23: that the tarnishing geologist does not occur and the absenting does not occur prevents the cut. ; $proof$ = 
void -> assump1: Let's assume that the whitingness does not occur.; assump1 & sent10 -> int1: the whitingness does not occur and the strife does not occur.; int1 & sent9 -> int2: the contingency does not occur.; int2 & sent8 -> int3: the tarnishing geologist does not occur and the absenting does not occur.; int3 & sent23 -> int4: the cutting does not occur.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__