that the printableness does not occur and the preying Shiism does not occur does not hold if the antemortemness happens.
sent1: that the surmising occurs is prevented by that the intensifying shaped and the antemortemness occurs. sent2: the printableness does not occur and the preying Shiism does not occur if the surmising does not occur. sent3: the fact that the printableness occurs but the preying Shiism does not occur is wrong if the fact that the surmising does not occur hold. sent4: that the fact that both the non-printableness and the preying Shiism happens hold is not true if the antemortemness happens. sent5: if the surmising does not occur then the fact that the printableness does not occur and the preying Shiism does not occur is not correct. sent6: the intensifying shaped occurs. sent7: if the antemortemness occurs the fact that the printableness but not the preying Shiism happens is incorrect. sent8: the opining happens and the intensifying shaped occurs if the antemortemness does not occur. sent9: the fact that both the unprintableness and the preying Shiism occurs is wrong. sent10: if the fact that the disposal does not occur hold the fact that the pop-fly does not occur and the intensifying latitude does not occur is not right. sent11: that the antemortemness happens results in that the printableness does not occur and the preying Shiism does not occur. sent12: that the printableness but not the preying Shiism occurs does not hold. sent13: the orchestration and the real-timeness happens. sent14: the mortification does not occur if that the mortification and the non-Turkmenness happens is not right. sent15: the levy does not occur and the preying Shiism does not occur if the herding happens. sent16: the printableness does not occur and the preying Shiism does not occur. sent17: both the herd and the eliminating occurs if the mortification does not occur. sent18: if the surmising does not occur then the fact that the unprintableness and the preying Shiism occurs is not right. sent19: the printableness does not occur if the levying does not occur and the preying Shiism does not occur.
void -> assump1: Let's assume that the antemortemness happens.; sent6 & assump1 -> int1: the intensifying shaped happens and the antemortemness happens.; sent1 & int1 -> int2: the surmising does not occur.; sent5 & int2 -> int3: the fact that the printableness does not occur and the preying Shiism does not occur is not correct.; [assump1] & int3 -> hypothesis;
the fact that the opining does not occur is not true.
$hypothesis$ = that the printableness does not occur and the preying Shiism does not occur does not hold if the antemortemness happens. ; $context$ = sent1: that the surmising occurs is prevented by that the intensifying shaped and the antemortemness occurs. sent2: the printableness does not occur and the preying Shiism does not occur if the surmising does not occur. sent3: the fact that the printableness occurs but the preying Shiism does not occur is wrong if the fact that the surmising does not occur hold. sent4: that the fact that both the non-printableness and the preying Shiism happens hold is not true if the antemortemness happens. sent5: if the surmising does not occur then the fact that the printableness does not occur and the preying Shiism does not occur is not correct. sent6: the intensifying shaped occurs. sent7: if the antemortemness occurs the fact that the printableness but not the preying Shiism happens is incorrect. sent8: the opining happens and the intensifying shaped occurs if the antemortemness does not occur. sent9: the fact that both the unprintableness and the preying Shiism occurs is wrong. sent10: if the fact that the disposal does not occur hold the fact that the pop-fly does not occur and the intensifying latitude does not occur is not right. sent11: that the antemortemness happens results in that the printableness does not occur and the preying Shiism does not occur. sent12: that the printableness but not the preying Shiism occurs does not hold. sent13: the orchestration and the real-timeness happens. sent14: the mortification does not occur if that the mortification and the non-Turkmenness happens is not right. sent15: the levy does not occur and the preying Shiism does not occur if the herding happens. sent16: the printableness does not occur and the preying Shiism does not occur. sent17: both the herd and the eliminating occurs if the mortification does not occur. sent18: if the surmising does not occur then the fact that the unprintableness and the preying Shiism occurs is not right. sent19: the printableness does not occur if the levying does not occur and the preying Shiism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the antemortemness happens.; sent6 & assump1 -> int1: the intensifying shaped happens and the antemortemness happens.; sent1 & int1 -> int2: the surmising does not occur.; sent5 & int2 -> int3: the fact that the printableness does not occur and the preying Shiism does not occur is not correct.; [assump1] & int3 -> hypothesis; __PROVED__