that the sewing happens leads to that the predating does not occur and the twinkling does not occur.
sent1: that the pessimisticness but not the hagiolatry occurs does not hold. sent2: the fact that the nonsurgicalness occurs hold if the diluvianness occurs. sent3: the predating does not occur. sent4: if the twinkle occurs then the ridding scam happens. sent5: the fact that that both the shallowness and the non-diluvianness occurs is not incorrect does not hold if the veneering does not occur. sent6: the veneering does not occur. sent7: that the nonsurgicalness happens is prevented by that both the ridding scam and the sewing occurs. sent8: the nonsurgicalness occurs if that that the shallowness and the non-diluvianness occurs is not true is right.
void -> assump2: Let's assume that the twinkling occurs.; sent4 & assump2 -> int1: the ridding scam occurs.; void -> assump1: Let's assume that the sewing occurs.; int1 & assump1 -> int2: the ridding scam occurs and the sewing happens.; int2 & sent7 -> int3: the nonsurgicalness does not occur.; sent5 & sent6 -> int4: that both the shallowness and the non-diluvianness occurs is incorrect.; sent8 & int4 -> int5: the nonsurgicalness happens.; int3 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the twinkle does not occur.; int7 & sent3 -> int8: the predating does not occur and the twinkle does not occur.; [assump1] & int8 -> hypothesis;
that the pessimisticness but not the hagiolatry occurs does not hold.
 -> hypothesis;
$hypothesis$ = that the sewing happens leads to that the predating does not occur and the twinkling does not occur. ; $context$ = sent1: that the pessimisticness but not the hagiolatry occurs does not hold. sent2: the fact that the nonsurgicalness occurs hold if the diluvianness occurs. sent3: the predating does not occur. sent4: if the twinkle occurs then the ridding scam happens. sent5: the fact that that both the shallowness and the non-diluvianness occurs is not incorrect does not hold if the veneering does not occur. sent6: the veneering does not occur. sent7: that the nonsurgicalness happens is prevented by that both the ridding scam and the sewing occurs. sent8: the nonsurgicalness occurs if that that the shallowness and the non-diluvianness occurs is not true is right. ; $proof$ = 
void -> assump2: Let's assume that the twinkling occurs.; sent4 & assump2 -> int1: the ridding scam occurs.; void -> assump1: Let's assume that the sewing occurs.; int1 & assump1 -> int2: the ridding scam occurs and the sewing happens.; int2 & sent7 -> int3: the nonsurgicalness does not occur.; sent5 & sent6 -> int4: that both the shallowness and the non-diluvianness occurs is incorrect.; sent8 & int4 -> int5: the nonsurgicalness happens.; int3 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the twinkle does not occur.; int7 & sent3 -> int8: the predating does not occur and the twinkle does not occur.; [assump1] & int8 -> hypothesis; __PROVED__