the skank does not occur if the lysogenizing drop happens.
sent1: the skanking does not occur if the lysogenizing drop occurs and the baseball happens. sent2: if the subrogating polony does not occur then the bending and the baseball happens. sent3: if the fact that not the bundling out-basket but the inefficaciousness happens does not hold then the wipeout does not occur. sent4: if both the bundling out-basket and the inefficaciousness occurs then the subrogating polony does not occur. sent5: the subrogating polony does not occur if not the bundling out-basket but the inefficaciousness occurs.
void -> assump1: Let's assume that the fact that the bundling out-basket does not occur but the inefficaciousness occurs is not right.; sent3 & assump1 -> int1: the wipeout does not occur.;
$hypothesis$ = the skank does not occur if the lysogenizing drop happens. ; $context$ = sent1: the skanking does not occur if the lysogenizing drop occurs and the baseball happens. sent2: if the subrogating polony does not occur then the bending and the baseball happens. sent3: if the fact that not the bundling out-basket but the inefficaciousness happens does not hold then the wipeout does not occur. sent4: if both the bundling out-basket and the inefficaciousness occurs then the subrogating polony does not occur. sent5: the subrogating polony does not occur if not the bundling out-basket but the inefficaciousness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bundling out-basket does not occur but the inefficaciousness occurs is not right.; sent3 & assump1 -> int1: the wipeout does not occur.; __UNKNOWN__