if the banking occurs the fact that the wasting occurs is not incorrect.
sent1: if the deletion occurs the bathing Buber happens. sent2: that the arson happens but the bathing Jinja does not occur prevents that the waste does not occur. sent3: the fact that the piffling happens and the bathing Jinja occurs does not hold. sent4: that the luxuriating Paget does not occur is not wrong. sent5: if that the banking occurs is true then the arson happens. sent6: the contact happens. sent7: the bathing Jinja does not occur if the fact that the piffling happens and the bathing Jinja happens is not correct.
void -> assump1: Let's assume that the fact that the banking occurs is true.; sent5 & assump1 -> int1: the arson occurs.; sent7 & sent3 -> int2: the fact that the bathing Jinja does not occur is not wrong.; int1 & int2 -> int3: the arson but not the bathing Jinja occurs.; int3 & sent2 -> int4: the waste occurs.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the banking occurs the fact that the wasting occurs is not incorrect. ; $context$ = sent1: if the deletion occurs the bathing Buber happens. sent2: that the arson happens but the bathing Jinja does not occur prevents that the waste does not occur. sent3: the fact that the piffling happens and the bathing Jinja occurs does not hold. sent4: that the luxuriating Paget does not occur is not wrong. sent5: if that the banking occurs is true then the arson happens. sent6: the contact happens. sent7: the bathing Jinja does not occur if the fact that the piffling happens and the bathing Jinja happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the banking occurs is true.; sent5 & assump1 -> int1: the arson occurs.; sent7 & sent3 -> int2: the fact that the bathing Jinja does not occur is not wrong.; int1 & int2 -> int3: the arson but not the bathing Jinja occurs.; int3 & sent2 -> int4: the waste occurs.; [assump1] & int4 -> hypothesis; __PROVED__