that if the strut does not occur the diabetic and the interpolating shofar happens is not true.
sent1: the non-geophysicalness results in that the labeling happens and the rationalness happens. sent2: if the interpolating shofar does not occur the fact that the erection happens but the verbalizing does not occur is wrong. sent3: the keeping occurs if the fact that the erection but not the verbalizing happens does not hold. sent4: the geophysicalness does not occur. sent5: the fact that the night-stop and the non-unreliableness occurs does not hold. sent6: the strut occurs if the keeping happens. sent7: that the erection occurs and the verbalizing happens is incorrect if the interpolating shofar does not occur. sent8: if the permitting tropopause does not occur then the looking logwood happens. sent9: if the rationalness occurs then the looking anthem happens. sent10: that the biogenicness happens and/or that the interpolating ballottement does not occur is triggered by that the looking anthem occurs. sent11: that the diabeticness occurs is brought about by that the biogenicness occurs and/or the interpolating ballottement does not occur.
void -> assump1: Let's assume that the interpolating shofar does not occur.; sent2 & assump1 -> int1: that the erection but not the verbalizing occurs does not hold.; int1 & sent3 -> int2: the keeping occurs.; int2 & sent6 -> int3: the strut happens.; void -> assump2: Let's assume that the strut does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the interpolating shofar occurs.; sent1 & sent4 -> int6: both the label and the rationalness occurs.; int6 -> int7: the rational happens.; sent9 & int7 -> int8: the looking anthem occurs.; sent10 & int8 -> int9: either the biogenicness happens or the interpolating ballottement does not occur or both.; sent11 & int9 -> int10: the diabeticness happens.; int5 & int10 -> int11: the diabeticness happens and the interpolating shofar occurs.; [assump2] & int11 -> hypothesis;
the fact that the night-stop and the non-unreliableness occurs does not hold.
 -> hypothesis;
$hypothesis$ = that if the strut does not occur the diabetic and the interpolating shofar happens is not true. ; $context$ = sent1: the non-geophysicalness results in that the labeling happens and the rationalness happens. sent2: if the interpolating shofar does not occur the fact that the erection happens but the verbalizing does not occur is wrong. sent3: the keeping occurs if the fact that the erection but not the verbalizing happens does not hold. sent4: the geophysicalness does not occur. sent5: the fact that the night-stop and the non-unreliableness occurs does not hold. sent6: the strut occurs if the keeping happens. sent7: that the erection occurs and the verbalizing happens is incorrect if the interpolating shofar does not occur. sent8: if the permitting tropopause does not occur then the looking logwood happens. sent9: if the rationalness occurs then the looking anthem happens. sent10: that the biogenicness happens and/or that the interpolating ballottement does not occur is triggered by that the looking anthem occurs. sent11: that the diabeticness occurs is brought about by that the biogenicness occurs and/or the interpolating ballottement does not occur. ; $proof$ = 
void -> assump1: Let's assume that the interpolating shofar does not occur.; sent2 & assump1 -> int1: that the erection but not the verbalizing occurs does not hold.; int1 & sent3 -> int2: the keeping occurs.; int2 & sent6 -> int3: the strut happens.; void -> assump2: Let's assume that the strut does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the interpolating shofar occurs.; sent1 & sent4 -> int6: both the label and the rationalness occurs.; int6 -> int7: the rational happens.; sent9 & int7 -> int8: the looking anthem occurs.; sent10 & int8 -> int9: either the biogenicness happens or the interpolating ballottement does not occur or both.; sent11 & int9 -> int10: the diabeticness happens.; int5 & int10 -> int11: the diabeticness happens and the interpolating shofar occurs.; [assump2] & int11 -> hypothesis; __DISPROVED__