if the droning easter happens the powderizing does not occur.
sent1: the fact that the droning historian does not occur or the droning trained happens or both is not true if the splat happens. sent2: if the splat does not occur then the nonpayment does not occur. sent3: the droning trained happens. sent4: the rechauffe happens. sent5: if the nonpayment does not occur and the droning easter happens the powderizing does not occur.
void -> assump1: Let's assume that the splatting happens.; sent1 & assump1 -> int1: the fact that either the droning historian does not occur or the droning trained happens or both is incorrect.; sent3 -> int2: either the droning historian does not occur or the droning trained happens or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the splatting does not occur.; int4 & sent2 -> int5: the nonpayment does not occur.; void -> assump2: Let's assume that the droning easter occurs.; int5 & assump2 -> int6: the nonpayment does not occur and the droning easter happens.; int6 & sent5 -> int7: the powderizing does not occur.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the droning easter happens the powderizing does not occur. ; $context$ = sent1: the fact that the droning historian does not occur or the droning trained happens or both is not true if the splat happens. sent2: if the splat does not occur then the nonpayment does not occur. sent3: the droning trained happens. sent4: the rechauffe happens. sent5: if the nonpayment does not occur and the droning easter happens the powderizing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the splatting happens.; sent1 & assump1 -> int1: the fact that either the droning historian does not occur or the droning trained happens or both is incorrect.; sent3 -> int2: either the droning historian does not occur or the droning trained happens or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the splatting does not occur.; int4 & sent2 -> int5: the nonpayment does not occur.; void -> assump2: Let's assume that the droning easter occurs.; int5 & assump2 -> int6: the nonpayment does not occur and the droning easter happens.; int6 & sent5 -> int7: the powderizing does not occur.; [assump2] & int7 -> hypothesis; __PROVED__