that the sadisticness happens hold.
sent1: if the sadisticness occurs that not the distinguishing but the clearing utility happens does not hold. sent2: that the hypercatalectic happens and the coursework happens is not true if the five-hitter happens. sent3: if that both the informing and the preclinicalness occurs is false then the unapproachableness does not occur. sent4: that the unapproachableness does not occur prevents that the distinguishing does not occur. sent5: the fact that the hypercatalectic and the coursework happens is wrong. sent6: the unapproachableness is prevented by the non-preclinicalness. sent7: if that the hypercatalectic but not the coursework happens is wrong then the welt happens. sent8: if the foothold does not occur the fact that the informing and the preclinicalness occurs is not right. sent9: the luckiness happens. sent10: if the expostulation does not occur the luckiness and the antinomianness occurs. sent11: that the distinguishing does not occur is caused by the clearing utility or that the welt happens or both. sent12: both the non-diurnalness and the companying subjectivity occurs. sent13: if the coursework happens the welting happens. sent14: both the sadisticness and the unapproachableness occurs if the preclinicalness does not occur. sent15: the expostulation is prevented by that the diurnalness does not occur and the companying subjectivity occurs. sent16: that the effacement does not occur is caused by that the linguisticness happens and/or that the flowerlessness occurs. sent17: that the hypercatalectic but not the coursework occurs is not true if the five-hitter happens. sent18: the clearing utility triggers that the distinguishing does not occur. sent19: if the five-hitter does not occur then the sadisticness does not occur. sent20: not the foothold but the luckiness occurs.
void -> assump1: Let's assume that the five-hitter occurs.; sent17 & assump1 -> int1: the fact that the hypercatalecticness but not the coursework occurs does not hold.; int1 & sent7 -> int2: the welting happens.; int2 -> int3: the clearing utility happens or the welting happens or both.; int3 & sent11 -> int4: the distinguishing does not occur.; sent20 -> int5: the foothold does not occur.; sent8 & int5 -> int6: the fact that both the informing and the preclinicalness happens does not hold.; sent3 & int6 -> int7: the unapproachableness does not occur.; sent4 & int7 -> int8: the distinguishing happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the five-hitter does not occur.; int10 & sent19 -> hypothesis;
the moderatingness happens.
sent15 & sent12 -> int11: the expostulation does not occur.; sent10 & int11 -> int12: the luckiness and the antinomianness happens.; int12 -> int13: the luckiness happens.;
$hypothesis$ = that the sadisticness happens hold. ; $context$ = sent1: if the sadisticness occurs that not the distinguishing but the clearing utility happens does not hold. sent2: that the hypercatalectic happens and the coursework happens is not true if the five-hitter happens. sent3: if that both the informing and the preclinicalness occurs is false then the unapproachableness does not occur. sent4: that the unapproachableness does not occur prevents that the distinguishing does not occur. sent5: the fact that the hypercatalectic and the coursework happens is wrong. sent6: the unapproachableness is prevented by the non-preclinicalness. sent7: if that the hypercatalectic but not the coursework happens is wrong then the welt happens. sent8: if the foothold does not occur the fact that the informing and the preclinicalness occurs is not right. sent9: the luckiness happens. sent10: if the expostulation does not occur the luckiness and the antinomianness occurs. sent11: that the distinguishing does not occur is caused by the clearing utility or that the welt happens or both. sent12: both the non-diurnalness and the companying subjectivity occurs. sent13: if the coursework happens the welting happens. sent14: both the sadisticness and the unapproachableness occurs if the preclinicalness does not occur. sent15: the expostulation is prevented by that the diurnalness does not occur and the companying subjectivity occurs. sent16: that the effacement does not occur is caused by that the linguisticness happens and/or that the flowerlessness occurs. sent17: that the hypercatalectic but not the coursework occurs is not true if the five-hitter happens. sent18: the clearing utility triggers that the distinguishing does not occur. sent19: if the five-hitter does not occur then the sadisticness does not occur. sent20: not the foothold but the luckiness occurs. ; $proof$ = 
void -> assump1: Let's assume that the five-hitter occurs.; sent17 & assump1 -> int1: the fact that the hypercatalecticness but not the coursework occurs does not hold.; int1 & sent7 -> int2: the welting happens.; int2 -> int3: the clearing utility happens or the welting happens or both.; int3 & sent11 -> int4: the distinguishing does not occur.; sent20 -> int5: the foothold does not occur.; sent8 & int5 -> int6: the fact that both the informing and the preclinicalness happens does not hold.; sent3 & int6 -> int7: the unapproachableness does not occur.; sent4 & int7 -> int8: the distinguishing happens.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the five-hitter does not occur.; int10 & sent19 -> hypothesis; __DISPROVED__