the backhander but not the resurrection happens.
sent1: the overawing gone happens. sent2: that the resurrection does not occur is caused by that the scorbuticness occurs and the gauging winnings happens. sent3: the gauging half-length and the backhander occurs if the translating does not occur. sent4: the tagging Mankato does not occur. sent5: the icing does not occur if the fact that not the scorbuticness but the icing happens is wrong. sent6: the exculpation occurs. sent7: the formation and the non-antiphonariness happens. sent8: that the gauging half-length does not occur and the gauging winnings happens is not correct if the translating occurs. sent9: that the escalating happens leads to that the ice does not occur and the gauging Braga happens. sent10: that the overawing Soma does not occur triggers that the tagging Gladstone happens and the scuffing occurs. sent11: if the hydrostaticsness does not occur and/or the overawing gone does not occur then the antiphonary does not occur. sent12: that the formation but not the antiphonariness happens yields the gauging winnings. sent13: the fact that if the gauging Braga does not occur the fact that not the scorbuticness but the ice occurs is wrong hold. sent14: if the overawing gone happens the translating does not occur. sent15: that the exculpation does not occur is true if the fact that the tagging Mankato does not occur and/or the escalating does not occur is false. sent16: that the exculpation but not the tagging Mankato happens leads to the escalating. sent17: that the backhander happens and the resurrection does not occur is wrong if the exculpation does not occur. sent18: the scorbuticness occurs if the gauging Braga happens.
sent6 & sent4 -> int1: the exculpation but not the tagging Mankato happens.; int1 & sent16 -> int2: the escalating occurs.; int2 & sent9 -> int3: the icing does not occur and the gauging Braga occurs.; int3 -> int4: the gauging Braga occurs.; int4 & sent18 -> int5: the scorbuticness happens.; sent12 & sent7 -> int6: the gauging winnings happens.; int5 & int6 -> int7: the scorbuticness and the gauging winnings occurs.; int7 & sent2 -> int8: the resurrection does not occur.; sent14 & sent1 -> int9: the translating does not occur.; sent3 & int9 -> int10: the fact that the gauging half-length happens and the backhander occurs hold.; int10 -> int11: the backhander happens.; int8 & int11 -> hypothesis;
that the backhander but not the resurrection happens is not true.
$hypothesis$ = the backhander but not the resurrection happens. ; $context$ = sent1: the overawing gone happens. sent2: that the resurrection does not occur is caused by that the scorbuticness occurs and the gauging winnings happens. sent3: the gauging half-length and the backhander occurs if the translating does not occur. sent4: the tagging Mankato does not occur. sent5: the icing does not occur if the fact that not the scorbuticness but the icing happens is wrong. sent6: the exculpation occurs. sent7: the formation and the non-antiphonariness happens. sent8: that the gauging half-length does not occur and the gauging winnings happens is not correct if the translating occurs. sent9: that the escalating happens leads to that the ice does not occur and the gauging Braga happens. sent10: that the overawing Soma does not occur triggers that the tagging Gladstone happens and the scuffing occurs. sent11: if the hydrostaticsness does not occur and/or the overawing gone does not occur then the antiphonary does not occur. sent12: that the formation but not the antiphonariness happens yields the gauging winnings. sent13: the fact that if the gauging Braga does not occur the fact that not the scorbuticness but the ice occurs is wrong hold. sent14: if the overawing gone happens the translating does not occur. sent15: that the exculpation does not occur is true if the fact that the tagging Mankato does not occur and/or the escalating does not occur is false. sent16: that the exculpation but not the tagging Mankato happens leads to the escalating. sent17: that the backhander happens and the resurrection does not occur is wrong if the exculpation does not occur. sent18: the scorbuticness occurs if the gauging Braga happens. ; $proof$ = 
sent6 & sent4 -> int1: the exculpation but not the tagging Mankato happens.; int1 & sent16 -> int2: the escalating occurs.; int2 & sent9 -> int3: the icing does not occur and the gauging Braga occurs.; int3 -> int4: the gauging Braga occurs.; int4 & sent18 -> int5: the scorbuticness happens.; sent12 & sent7 -> int6: the gauging winnings happens.; int5 & int6 -> int7: the scorbuticness and the gauging winnings occurs.; int7 & sent2 -> int8: the resurrection does not occur.; sent14 & sent1 -> int9: the translating does not occur.; sent3 & int9 -> int10: the fact that the gauging half-length happens and the backhander occurs hold.; int10 -> int11: the backhander happens.; int8 & int11 -> hypothesis; __PROVED__