the smashing containerful does not occur.
sent1: the fact that the non-ideologicalness and the non-dissimilarness occurs is false if the raping happens. sent2: the reigning nourishment does not occur. sent3: the interrupting occurs. sent4: if the reigning repulsion does not occur the smashing containerful and the smashing quasar occurs. sent5: the bifurcation and the raping occurs if the smashing Wesleyan does not occur. sent6: if that both the heterosexualness and the fatwa happens does not hold that the smashing Wesleyan does not occur is not false. sent7: the reigning repulsion occurs. sent8: that both the smashing quasar and the reigning repulsion happens prevents the fritter. sent9: the smashing quasar occurs. sent10: the tessellation does not occur and the foundering does not occur if the unwrittenness does not occur. sent11: if the fact that the non-ideologicalness and the non-dissimilarness occurs does not hold then the unwrittenness does not occur. sent12: if the basketry does not occur the fact that the heterosexual happens and the fatwa occurs does not hold. sent13: the Post happens. sent14: if the fact that the seceding happens and the episcopate does not occur is false that the basketry does not occur is not false. sent15: if the tessellation does not occur and the foundering does not occur the swabbing does not occur. sent16: if the swabbing does not occur not the wincing but the makeover occurs. sent17: the smashing containerful does not occur if the frittering does not occur. sent18: that not the fundamental but the frittering happens does not hold if the wince does not occur.
sent9 & sent7 -> int1: the smashing quasar and the reigning repulsion happens.; sent8 & int1 -> int2: the frittering does not occur.; sent17 & int2 -> hypothesis;
the fact that the smashing containerful happens hold.
$hypothesis$ = the smashing containerful does not occur. ; $context$ = sent1: the fact that the non-ideologicalness and the non-dissimilarness occurs is false if the raping happens. sent2: the reigning nourishment does not occur. sent3: the interrupting occurs. sent4: if the reigning repulsion does not occur the smashing containerful and the smashing quasar occurs. sent5: the bifurcation and the raping occurs if the smashing Wesleyan does not occur. sent6: if that both the heterosexualness and the fatwa happens does not hold that the smashing Wesleyan does not occur is not false. sent7: the reigning repulsion occurs. sent8: that both the smashing quasar and the reigning repulsion happens prevents the fritter. sent9: the smashing quasar occurs. sent10: the tessellation does not occur and the foundering does not occur if the unwrittenness does not occur. sent11: if the fact that the non-ideologicalness and the non-dissimilarness occurs does not hold then the unwrittenness does not occur. sent12: if the basketry does not occur the fact that the heterosexual happens and the fatwa occurs does not hold. sent13: the Post happens. sent14: if the fact that the seceding happens and the episcopate does not occur is false that the basketry does not occur is not false. sent15: if the tessellation does not occur and the foundering does not occur the swabbing does not occur. sent16: if the swabbing does not occur not the wincing but the makeover occurs. sent17: the smashing containerful does not occur if the frittering does not occur. sent18: that not the fundamental but the frittering happens does not hold if the wince does not occur. ; $proof$ = 
sent9 & sent7 -> int1: the smashing quasar and the reigning repulsion happens.; sent8 & int1 -> int2: the frittering does not occur.; sent17 & int2 -> hypothesis; __PROVED__