both the transitionalness and the understanding occurs.
sent1: the non-radial-plyness leads to that both the phonologicalness and the non-nonarbitrariness occurs. sent2: the nonarbitrariness does not occur. sent3: if the fact that the fact that either the ancestralness does not occur or the bilge does not occur or both does not hold is not wrong the transitionalness happens. sent4: the fact that the sensorimotorness occurs hold. sent5: if the fact that the bouncing happens is correct the fact that the phonologicalness and the arbitraryness happens does not hold. sent6: the fracturing happens but the basting does not occur. sent7: the fact that the fact that either the ancestralness does not occur or the bilge does not occur or both is incorrect is not wrong if the bouncing does not occur. sent8: if that the ford happens is not false that the secession but not the understanding occurs is not right. sent9: the chondriticness happens. sent10: that the secession and the understanding happens is not true. sent11: the radial-pliness does not occur. sent12: if the fact that the secession but not the understanding occurs is not true the understanding happens. sent13: the tactlessness happens if the slaving darkness does not occur. sent14: the fording occurs.
void -> assump1: Let's assume that the bounce happens.; sent5 & assump1 -> int1: the fact that both the phonologicalness and the arbitraryness happens is not correct.; sent1 & sent11 -> int2: the phonologicalness but not the nonarbitrariness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bounce does not occur.; int4 & sent7 -> int5: the fact that either the ancestralness does not occur or the bilge does not occur or both is not true.; int5 & sent3 -> int6: the transitionalness occurs.; sent8 & sent14 -> int7: that the secession but not the understanding occurs is not true.; sent12 & int7 -> int8: the understanding happens.; int6 & int8 -> hypothesis;
the fact that the transitionalness occurs and the understanding happens is false.
 -> hypothesis;
$hypothesis$ = both the transitionalness and the understanding occurs. ; $context$ = sent1: the non-radial-plyness leads to that both the phonologicalness and the non-nonarbitrariness occurs. sent2: the nonarbitrariness does not occur. sent3: if the fact that the fact that either the ancestralness does not occur or the bilge does not occur or both does not hold is not wrong the transitionalness happens. sent4: the fact that the sensorimotorness occurs hold. sent5: if the fact that the bouncing happens is correct the fact that the phonologicalness and the arbitraryness happens does not hold. sent6: the fracturing happens but the basting does not occur. sent7: the fact that the fact that either the ancestralness does not occur or the bilge does not occur or both is incorrect is not wrong if the bouncing does not occur. sent8: if that the ford happens is not false that the secession but not the understanding occurs is not right. sent9: the chondriticness happens. sent10: that the secession and the understanding happens is not true. sent11: the radial-pliness does not occur. sent12: if the fact that the secession but not the understanding occurs is not true the understanding happens. sent13: the tactlessness happens if the slaving darkness does not occur. sent14: the fording occurs. ; $proof$ = 
void -> assump1: Let's assume that the bounce happens.; sent5 & assump1 -> int1: the fact that both the phonologicalness and the arbitraryness happens is not correct.; sent1 & sent11 -> int2: the phonologicalness but not the nonarbitrariness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bounce does not occur.; int4 & sent7 -> int5: the fact that either the ancestralness does not occur or the bilge does not occur or both is not true.; int5 & sent3 -> int6: the transitionalness occurs.; sent8 & sent14 -> int7: that the secession but not the understanding occurs is not true.; sent12 & int7 -> int8: the understanding happens.; int6 & int8 -> hypothesis; __PROVED__