if the wanning happens the Saxon happens.
sent1: the secondariness happens and the organizing proscenium occurs if the inwardness does not occur. sent2: the hitch happens. sent3: that the cardiovascularness but not the wanning happens yields the concordance. sent4: the inwardness does not occur. sent5: that the Saxonness does not occur is prevented by that the cardiovascularness occurs. sent6: the Saxonness does not occur if the effecting S-shape does not occur. sent7: the high-low does not occur if the organizing ischium does not occur and the noninstitutionalness does not occur. sent8: the Moldovanness does not occur if the fact that the non-unseamanlikeness and/or the effecting Pediculidae occurs does not hold. sent9: that the dissembling bakery does not occur and the effecting DO does not occur is triggered by that the effecting peptization happens. sent10: that the systematization occurs is caused by that the organizing witching happens. sent11: that the dissembling bakery does not occur and the effecting DO does not occur leads to that the effecting S-shape does not occur. sent12: if the Moldovanness does not occur and the high-low does not occur then the tessellation does not occur. sent13: the fact that the organizing ischium does not occur and the noninstitutionalness does not occur is right if the tripping ecrevisse does not occur. sent14: the cardiovascularness happens if the wanning occurs. sent15: the effecting peptization happens and the productiveness happens if the tessellation does not occur. sent16: if the secondary occurs then that that the unseamanlikeness does not occur or the effecting Pediculidae occurs or both is not correct is not false.
void -> assump1: Let's assume that that the wanning occurs hold.; sent14 & assump1 -> int1: the cardiovascularness occurs.; sent5 & int1 -> int2: the Saxonness happens.; [assump1] & int2 -> hypothesis;
that the concordance happens hold.
sent1 & sent4 -> int3: the secondariness and the organizing proscenium happens.; int3 -> int4: the secondary occurs.; sent16 & int4 -> int5: that the unseamanlikeness does not occur or the effecting Pediculidae happens or both is not true.; sent8 & int5 -> int6: the Moldovanness does not occur.;
$hypothesis$ = if the wanning happens the Saxon happens. ; $context$ = sent1: the secondariness happens and the organizing proscenium occurs if the inwardness does not occur. sent2: the hitch happens. sent3: that the cardiovascularness but not the wanning happens yields the concordance. sent4: the inwardness does not occur. sent5: that the Saxonness does not occur is prevented by that the cardiovascularness occurs. sent6: the Saxonness does not occur if the effecting S-shape does not occur. sent7: the high-low does not occur if the organizing ischium does not occur and the noninstitutionalness does not occur. sent8: the Moldovanness does not occur if the fact that the non-unseamanlikeness and/or the effecting Pediculidae occurs does not hold. sent9: that the dissembling bakery does not occur and the effecting DO does not occur is triggered by that the effecting peptization happens. sent10: that the systematization occurs is caused by that the organizing witching happens. sent11: that the dissembling bakery does not occur and the effecting DO does not occur leads to that the effecting S-shape does not occur. sent12: if the Moldovanness does not occur and the high-low does not occur then the tessellation does not occur. sent13: the fact that the organizing ischium does not occur and the noninstitutionalness does not occur is right if the tripping ecrevisse does not occur. sent14: the cardiovascularness happens if the wanning occurs. sent15: the effecting peptization happens and the productiveness happens if the tessellation does not occur. sent16: if the secondary occurs then that that the unseamanlikeness does not occur or the effecting Pediculidae occurs or both is not correct is not false. ; $proof$ = 
void -> assump1: Let's assume that that the wanning occurs hold.; sent14 & assump1 -> int1: the cardiovascularness occurs.; sent5 & int1 -> int2: the Saxonness happens.; [assump1] & int2 -> hypothesis; __PROVED__