there exists something such that if that it is a sounding and it is not bumpy is not right then it is tragic.
sent1: something is lexicostatistic if that it is iliac and it is not antemortem does not hold. sent2: if the niacin is symmetrical but it is non-Muhammadan the fact that it is not a Sauk is false. sent3: if that the niacin is not non-sounding but it is not bumpy is false it is tragic. sent4: there exists something such that if it does not sound the fact that it is tragic is not incorrect.
sent3 -> hypothesis;
there exists something such that if the fact that it is iliac and it is not antemortem does not hold the fact that it is lexicostatistic hold.
sent1 -> int1: if that the S is iliac but it is not antemortem does not hold then that it is lexicostatistic is not incorrect.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a sounding and it is not bumpy is not right then it is tragic. ; $context$ = sent1: something is lexicostatistic if that it is iliac and it is not antemortem does not hold. sent2: if the niacin is symmetrical but it is non-Muhammadan the fact that it is not a Sauk is false. sent3: if that the niacin is not non-sounding but it is not bumpy is false it is tragic. sent4: there exists something such that if it does not sound the fact that it is tragic is not incorrect. ; $proof$ = 
sent3 -> hypothesis; __PROVED__