the passionateness does not occur if the outwearing does not occur.
sent1: the punishing piety occurs if the beanball does not occur. sent2: the beanball does not occur if that the outwearing occurs but the passing bassinet does not occur is not right. sent3: both the punishing piety and the shagging occurs if the fact that the beanball does not occur is not false. sent4: the passionateness does not occur if the punishing pogonophoran or the punishing transfusion or both happens. sent5: the plowing does not occur if either the plowing does not occur or the outwearing occurs or both.
void -> assump2: Let's assume that the outwearing but not the passing bassinet occurs.; assump2 -> int1: the outwearing happens.; void -> assump1: Let's assume that the outwearing does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that that the outwearing happens and the passing bassinet does not occur is not correct is not wrong.; sent2 & int3 -> int4: the beanball does not occur.; sent3 & int4 -> int5: the punishing piety and the shag occurs.; int5 -> int6: the shag occurs.;
the plowing does not occur.
$hypothesis$ = the passionateness does not occur if the outwearing does not occur. ; $context$ = sent1: the punishing piety occurs if the beanball does not occur. sent2: the beanball does not occur if that the outwearing occurs but the passing bassinet does not occur is not right. sent3: both the punishing piety and the shagging occurs if the fact that the beanball does not occur is not false. sent4: the passionateness does not occur if the punishing pogonophoran or the punishing transfusion or both happens. sent5: the plowing does not occur if either the plowing does not occur or the outwearing occurs or both. ; $proof$ = 
void -> assump2: Let's assume that the outwearing but not the passing bassinet occurs.; assump2 -> int1: the outwearing happens.; void -> assump1: Let's assume that the outwearing does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that that the outwearing happens and the passing bassinet does not occur is not correct is not wrong.; sent2 & int3 -> int4: the beanball does not occur.; sent3 & int4 -> int5: the punishing piety and the shag occurs.; int5 -> int6: the shag occurs.; __UNKNOWN__