that both the lingering and the lobectomy occurs if the expiring chastity does not occur is not correct.
sent1: the fact that not the disturbance but the dissection occurs is incorrect if that the broadsiding asp does not occur hold. sent2: if that not the heroicness but the effortlessness occurs is wrong then the broadsiding customer does not occur. sent3: the fact that the counterattraction and the sepulchralness occurs is wrong if the pandemic does not occur. sent4: the sepulchralness does not occur if that the counterattraction happens and the sepulchralness happens does not hold. sent5: if the expiring Rutledge does not occur the lobectomy does not occur and the decelerating does not occur. sent6: the broadsiding asp occurs and the disturbance happens. sent7: if the sepulchralness does not occur then that the heroicness does not occur but the effortlessness occurs does not hold. sent8: that the broadsiding customer does not occur leads to that not the lockstep but the childcare happens. sent9: the disturbance happens. sent10: that the broadsiding asp occurs but the lingering does not occur prevents that the expiring chastity does not occur. sent11: if the fact that the lobectomy does not occur is not false the lingering happens and/or the expiring chastity does not occur. sent12: if the smoke does not occur the expiring sacrificer happens but the pandemic does not occur. sent13: if the lockstep does not occur the implicationalness does not occur and the expiring Rutledge does not occur. sent14: the dissection does not occur if the fact that the disturbance does not occur but the dissection happens does not hold. sent15: the lobectomy happens.
sent6 -> int1: the broadsiding asp occurs.; void -> assump1: Let's assume that the lingering does not occur.; int1 & assump1 -> int2: the broadsiding asp occurs and the lingering does not occur.; int2 & sent10 -> int3: the expiring chastity occurs.; void -> assump2: Let's assume that the expiring chastity does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the lingering occurs hold.; int5 & sent15 -> int6: both the lingering and the lobectomy occurs.; [assump2] & int6 -> hypothesis;
the dissection does not occur.
$hypothesis$ = that both the lingering and the lobectomy occurs if the expiring chastity does not occur is not correct. ; $context$ = sent1: the fact that not the disturbance but the dissection occurs is incorrect if that the broadsiding asp does not occur hold. sent2: if that not the heroicness but the effortlessness occurs is wrong then the broadsiding customer does not occur. sent3: the fact that the counterattraction and the sepulchralness occurs is wrong if the pandemic does not occur. sent4: the sepulchralness does not occur if that the counterattraction happens and the sepulchralness happens does not hold. sent5: if the expiring Rutledge does not occur the lobectomy does not occur and the decelerating does not occur. sent6: the broadsiding asp occurs and the disturbance happens. sent7: if the sepulchralness does not occur then that the heroicness does not occur but the effortlessness occurs does not hold. sent8: that the broadsiding customer does not occur leads to that not the lockstep but the childcare happens. sent9: the disturbance happens. sent10: that the broadsiding asp occurs but the lingering does not occur prevents that the expiring chastity does not occur. sent11: if the fact that the lobectomy does not occur is not false the lingering happens and/or the expiring chastity does not occur. sent12: if the smoke does not occur the expiring sacrificer happens but the pandemic does not occur. sent13: if the lockstep does not occur the implicationalness does not occur and the expiring Rutledge does not occur. sent14: the dissection does not occur if the fact that the disturbance does not occur but the dissection happens does not hold. sent15: the lobectomy happens. ; $proof$ = 
sent6 -> int1: the broadsiding asp occurs.; void -> assump1: Let's assume that the lingering does not occur.; int1 & assump1 -> int2: the broadsiding asp occurs and the lingering does not occur.; int2 & sent10 -> int3: the expiring chastity occurs.; void -> assump2: Let's assume that the expiring chastity does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the lingering occurs hold.; int5 & sent15 -> int6: both the lingering and the lobectomy occurs.; [assump2] & int6 -> hypothesis; __DISPROVED__