the noninvasiveness happens if that the archegonialness and the non-dogmaticness occurs is not right.
sent1: that the reinforcing energy and the non-cenobiticness happens does not hold. sent2: the noninvasiveness occurs if the fact that the archegonialness and the dogmaticness happens is false. sent3: the unholiness does not occur if the fact that the archegonialness happens and the dogmaticness does not occur does not hold. sent4: that the archegonialness does not occur prevents the unholiness. sent5: the holyness is triggered by that both the archegonialness and the non-dogmaticness occurs. sent6: if the fact that the intruding Turpin occurs but the heroine does not occur is not correct the azoness does not occur. sent7: if the unholiness happens that the invasiveness and the non-azoness happens is not correct. sent8: if that the archegonialness and the dogmaticness happens is false the unholiness does not occur. sent9: if that the invasiveness and the non-azoness happens is false then the non-azo occurs. sent10: the dogmaticness occurs. sent11: that the archegonialness occurs but the dogmaticness does not occur prevents that the noninvasiveness does not occur. sent12: the noninvasiveness happens if the unholiness does not occur. sent13: the noninvasiveness occurs if the archegonialness does not occur.
void -> assump1: Let's assume that the fact that both the archegonialness and the non-dogmaticness happens is false.; sent3 & assump1 -> int1: the unholiness does not occur.; sent12 & int1 -> int2: the noninvasiveness happens.; [assump1] & int2 -> hypothesis;
the azoness occurs.
$hypothesis$ = the noninvasiveness happens if that the archegonialness and the non-dogmaticness occurs is not right. ; $context$ = sent1: that the reinforcing energy and the non-cenobiticness happens does not hold. sent2: the noninvasiveness occurs if the fact that the archegonialness and the dogmaticness happens is false. sent3: the unholiness does not occur if the fact that the archegonialness happens and the dogmaticness does not occur does not hold. sent4: that the archegonialness does not occur prevents the unholiness. sent5: the holyness is triggered by that both the archegonialness and the non-dogmaticness occurs. sent6: if the fact that the intruding Turpin occurs but the heroine does not occur is not correct the azoness does not occur. sent7: if the unholiness happens that the invasiveness and the non-azoness happens is not correct. sent8: if that the archegonialness and the dogmaticness happens is false the unholiness does not occur. sent9: if that the invasiveness and the non-azoness happens is false then the non-azo occurs. sent10: the dogmaticness occurs. sent11: that the archegonialness occurs but the dogmaticness does not occur prevents that the noninvasiveness does not occur. sent12: the noninvasiveness happens if the unholiness does not occur. sent13: the noninvasiveness occurs if the archegonialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that both the archegonialness and the non-dogmaticness happens is false.; sent3 & assump1 -> int1: the unholiness does not occur.; sent12 & int1 -> int2: the noninvasiveness happens.; [assump1] & int2 -> hypothesis; __PROVED__