the depressing leads to that the crooking does not occur but the entertainment occurs.
sent1: if the insertion happens then the halving balloonist occurs. sent2: the halving balloonist yields the civicsness. sent3: the offstageness does not occur if that the fact that the nonsurgicalness and the non-Bayesianness occurs does not hold is not wrong. sent4: if the fact that both the non-Bayesianness and the prolixness occurs is not right the prolixness does not occur. sent5: if the fact that the underdressing does not occur but the implicitness happens is incorrect then the prolixness happens. sent6: the non-prolixness prevents that the offstageness does not occur. sent7: that the prolixness does not occur results in that the entertainment happens and the offstageness occurs. sent8: the Bond is prevented by that not the depressing but the crook happens. sent9: that the tie occurs is prevented by that not the nodding but the crusting happens. sent10: the surgicalness does not occur. sent11: if the injury happens then that not the nod but the crust happens is right. sent12: if the fact that the surgicalness does not occur is not false the fact that the non-Bayesianness and the prolixness occurs is not true. sent13: the fact that the Bond occurs hold. sent14: if the civicsness happens the fact that the non-surgicalness and the non-Bayesianness occurs is incorrect. sent15: the estrogenicness does not occur if that the Bond does not occur hold. sent16: the ingraining does not occur and the halving deceleration does not occur if the diving deceleration does not occur. sent17: that the entertainment happens is prevented by that the prolixness and the non-offstageness occurs. sent18: if that the ingraining does not occur is not false then that the underdressing does not occur and the implicitness happens is incorrect. sent19: the insertion and the virileness happens if the tie does not occur.
void -> assump2: Let's assume that the fact that the crooking occurs is not wrong.; sent13 & assump2 -> int1: the Bond and the crook happens.; void -> assump1: Let's assume that the depressing occurs.; sent12 & sent10 -> int2: that both the non-Bayesianness and the prolixness happens is not right.; sent4 & int2 -> int3: the prolixness does not occur.; sent7 & int3 -> int4: the entertainment happens and the offstageness occurs.; int4 -> int5: the entertainment occurs.;
the estrogenicness does not occur.
$hypothesis$ = the depressing leads to that the crooking does not occur but the entertainment occurs. ; $context$ = sent1: if the insertion happens then the halving balloonist occurs. sent2: the halving balloonist yields the civicsness. sent3: the offstageness does not occur if that the fact that the nonsurgicalness and the non-Bayesianness occurs does not hold is not wrong. sent4: if the fact that both the non-Bayesianness and the prolixness occurs is not right the prolixness does not occur. sent5: if the fact that the underdressing does not occur but the implicitness happens is incorrect then the prolixness happens. sent6: the non-prolixness prevents that the offstageness does not occur. sent7: that the prolixness does not occur results in that the entertainment happens and the offstageness occurs. sent8: the Bond is prevented by that not the depressing but the crook happens. sent9: that the tie occurs is prevented by that not the nodding but the crusting happens. sent10: the surgicalness does not occur. sent11: if the injury happens then that not the nod but the crust happens is right. sent12: if the fact that the surgicalness does not occur is not false the fact that the non-Bayesianness and the prolixness occurs is not true. sent13: the fact that the Bond occurs hold. sent14: if the civicsness happens the fact that the non-surgicalness and the non-Bayesianness occurs is incorrect. sent15: the estrogenicness does not occur if that the Bond does not occur hold. sent16: the ingraining does not occur and the halving deceleration does not occur if the diving deceleration does not occur. sent17: that the entertainment happens is prevented by that the prolixness and the non-offstageness occurs. sent18: if that the ingraining does not occur is not false then that the underdressing does not occur and the implicitness happens is incorrect. sent19: the insertion and the virileness happens if the tie does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the crooking occurs is not wrong.; sent13 & assump2 -> int1: the Bond and the crook happens.; void -> assump1: Let's assume that the depressing occurs.; sent12 & sent10 -> int2: that both the non-Bayesianness and the prolixness happens is not right.; sent4 & int2 -> int3: the prolixness does not occur.; sent7 & int3 -> int4: the entertainment happens and the offstageness occurs.; int4 -> int5: the entertainment occurs.; __UNKNOWN__