if the exactaness does not occur then the fact that the immortal and the supplying occurs is not true.
sent1: if the exactaness does not occur the fact that the vaporization does not occur and the clapping trepan happens is false. sent2: the fact that the stoop happens and the formicness happens is incorrect. sent3: if that the vaporization does not occur and the clapping trepan happens is not right then the voyaging does not occur. sent4: if the voyage does not occur then the fact that the immortal occurs and the supplying happens is not right. sent5: the fact that both the julienning rump and the disguising Erlang happens does not hold. sent6: the non-epiphyticness is brought about by that the voyaging happens or the exactaness does not occur or both.
void -> assump1: Let's assume that the exactaness does not occur.; sent1 & assump1 -> int1: that not the vaporization but the clapping trepan occurs does not hold.; sent3 & int1 -> int2: the voyage does not occur.; sent4 & int2 -> int3: that the fact that the immortalness occurs and the supply happens hold is not right.; [assump1] & int3 -> hypothesis;
the epiphyticness does not occur.
$hypothesis$ = if the exactaness does not occur then the fact that the immortal and the supplying occurs is not true. ; $context$ = sent1: if the exactaness does not occur the fact that the vaporization does not occur and the clapping trepan happens is false. sent2: the fact that the stoop happens and the formicness happens is incorrect. sent3: if that the vaporization does not occur and the clapping trepan happens is not right then the voyaging does not occur. sent4: if the voyage does not occur then the fact that the immortal occurs and the supplying happens is not right. sent5: the fact that both the julienning rump and the disguising Erlang happens does not hold. sent6: the non-epiphyticness is brought about by that the voyaging happens or the exactaness does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the exactaness does not occur.; sent1 & assump1 -> int1: that not the vaporization but the clapping trepan occurs does not hold.; sent3 & int1 -> int2: the voyage does not occur.; sent4 & int2 -> int3: that the fact that the immortalness occurs and the supply happens hold is not right.; [assump1] & int3 -> hypothesis; __PROVED__