that if the canalization occurs then the dwindling happens does not hold.
sent1: that the Bavarianness does not occur leads to that both the commencement and the correlating Ebro happens. sent2: that the pitter-patter does not occur is brought about by that the visitation happens and the Melanesianness occurs. sent3: that the canalization does not occur is brought about by that the dwindling does not occur and the Bavarianness occurs. sent4: if the unwomanliness does not occur then the fact that the dwindling and the canalization happens does not hold. sent5: the commencement happens. sent6: the commencement occurs and the Bavarian occurs. sent7: the canalization does not occur if both the dwindling and the Bavarian occurs. sent8: the masculine happens. sent9: the arterioscleroticness does not occur. sent10: that not the dwindling but the Bavarian occurs causes the canalization.
sent6 -> int1: the Bavarianness happens.; void -> assump1: Let's assume that the dwindling does not occur.; int1 & assump1 -> int2: not the dwindling but the Bavarian occurs.; int2 & sent3 -> int3: the canalization does not occur.; void -> assump2: Let's assume that that the canalization occurs hold.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dwindling occurs.; [assump2] & int5 -> hypothesis;
the correlating Ebro occurs.
$hypothesis$ = that if the canalization occurs then the dwindling happens does not hold. ; $context$ = sent1: that the Bavarianness does not occur leads to that both the commencement and the correlating Ebro happens. sent2: that the pitter-patter does not occur is brought about by that the visitation happens and the Melanesianness occurs. sent3: that the canalization does not occur is brought about by that the dwindling does not occur and the Bavarianness occurs. sent4: if the unwomanliness does not occur then the fact that the dwindling and the canalization happens does not hold. sent5: the commencement happens. sent6: the commencement occurs and the Bavarian occurs. sent7: the canalization does not occur if both the dwindling and the Bavarian occurs. sent8: the masculine happens. sent9: the arterioscleroticness does not occur. sent10: that not the dwindling but the Bavarian occurs causes the canalization. ; $proof$ = 
sent6 -> int1: the Bavarianness happens.; void -> assump1: Let's assume that the dwindling does not occur.; int1 & assump1 -> int2: not the dwindling but the Bavarian occurs.; int2 & sent3 -> int3: the canalization does not occur.; void -> assump2: Let's assume that that the canalization occurs hold.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dwindling occurs.; [assump2] & int5 -> hypothesis; __DISPROVED__