the fact that the dulling and the lipectomy occurs hold.
sent1: the bloodbath happens if that both the inexhaustibleness and the non-nebulousness occurs is incorrect. sent2: the disembowelling orrisroot and/or the yielding mustache prevents the minorness. sent3: the yielding mustache occurs if the splenicness occurs. sent4: that the exhaustibleness does not occur leads to that the owning and the clearedness occurs. sent5: that the exhaustibleness does not occur is brought about by the non-nebulousness. sent6: that the termination does not occur is triggered by that the reacting happens. sent7: that both the inexhaustibleness and the non-nebulousness happens is not right. sent8: the exhaustibleness does not occur if the warmness does not occur. sent9: the fuss and/or the viralness occurs if the disembowelling Grant does not occur. sent10: the warming does not occur and/or the nebulousness does not occur if the clipping occurs. sent11: if the termination does not occur then the hero does not occur but the dermabrasion happens. sent12: the desirousness happens and the precipitation happens. sent13: the easiness happens. sent14: if the hero does not occur that not the descrying orthoepist but the amphoricness occurs is not true. sent15: the dulling happens if that the minorness does not occur hold. sent16: if the endoscopicness does not occur then that both the anaphrodisiacness and the non-internalness occurs is not correct. sent17: if the fact that the descrying orthoepist does not occur and the amphoricness happens is not correct the disembowelling Grant does not occur. sent18: that the fussing occurs yields the non-endoscopicness. sent19: the fact that both the dulledness and the lipectomy occurs is wrong if the splenicness does not occur. sent20: the lipectomy and the internalness occurs. sent21: the conduction occurs. sent22: the splenicness is caused by the bloodbath. sent23: that the owning occurs prevents that the reacting does not occur. sent24: the clip occurs. sent25: the minorness does not occur if the disembowelling orrisroot occurs.
sent1 & sent7 -> int1: that the bloodbath occurs is right.; int1 & sent22 -> int2: the splenicness happens.; int2 & sent3 -> int3: the yielding mustache occurs.; int3 -> int4: the disembowelling orrisroot occurs and/or the yielding mustache happens.; int4 & sent2 -> int5: the minorness does not occur.; int5 & sent15 -> int6: the dulledness happens.; sent20 -> int7: the lipectomy happens.; int6 & int7 -> hypothesis;
the fact that both the dulling and the lipectomy occurs is not right.
sent10 & sent24 -> int8: the warming does not occur and/or the nebulousness does not occur.; int8 & sent8 & sent5 -> int9: the exhaustibleness does not occur.; sent4 & int9 -> int10: the owning and the cleared occurs.; int10 -> int11: the owning happens.; sent23 & int11 -> int12: the reacting happens.; sent6 & int12 -> int13: the termination does not occur.; sent11 & int13 -> int14: the hero does not occur but the dermabrasion happens.; int14 -> int15: the hero does not occur.; sent14 & int15 -> int16: that not the descrying orthoepist but the amphoricness occurs is false.; sent17 & int16 -> int17: the disembowelling Grant does not occur.; sent9 & int17 -> int18: the fuss happens and/or the viralness occurs.;
$hypothesis$ = the fact that the dulling and the lipectomy occurs hold. ; $context$ = sent1: the bloodbath happens if that both the inexhaustibleness and the non-nebulousness occurs is incorrect. sent2: the disembowelling orrisroot and/or the yielding mustache prevents the minorness. sent3: the yielding mustache occurs if the splenicness occurs. sent4: that the exhaustibleness does not occur leads to that the owning and the clearedness occurs. sent5: that the exhaustibleness does not occur is brought about by the non-nebulousness. sent6: that the termination does not occur is triggered by that the reacting happens. sent7: that both the inexhaustibleness and the non-nebulousness happens is not right. sent8: the exhaustibleness does not occur if the warmness does not occur. sent9: the fuss and/or the viralness occurs if the disembowelling Grant does not occur. sent10: the warming does not occur and/or the nebulousness does not occur if the clipping occurs. sent11: if the termination does not occur then the hero does not occur but the dermabrasion happens. sent12: the desirousness happens and the precipitation happens. sent13: the easiness happens. sent14: if the hero does not occur that not the descrying orthoepist but the amphoricness occurs is not true. sent15: the dulling happens if that the minorness does not occur hold. sent16: if the endoscopicness does not occur then that both the anaphrodisiacness and the non-internalness occurs is not correct. sent17: if the fact that the descrying orthoepist does not occur and the amphoricness happens is not correct the disembowelling Grant does not occur. sent18: that the fussing occurs yields the non-endoscopicness. sent19: the fact that both the dulledness and the lipectomy occurs is wrong if the splenicness does not occur. sent20: the lipectomy and the internalness occurs. sent21: the conduction occurs. sent22: the splenicness is caused by the bloodbath. sent23: that the owning occurs prevents that the reacting does not occur. sent24: the clip occurs. sent25: the minorness does not occur if the disembowelling orrisroot occurs. ; $proof$ = 
sent1 & sent7 -> int1: that the bloodbath occurs is right.; int1 & sent22 -> int2: the splenicness happens.; int2 & sent3 -> int3: the yielding mustache occurs.; int3 -> int4: the disembowelling orrisroot occurs and/or the yielding mustache happens.; int4 & sent2 -> int5: the minorness does not occur.; int5 & sent15 -> int6: the dulledness happens.; sent20 -> int7: the lipectomy happens.; int6 & int7 -> hypothesis; __PROVED__