there exists something such that if it is both not a shame and peaceable it is not nonindulgent.
sent1: that the beet is not nonindulgent hold if it is not a kind of a shame and is peaceable. sent2: there exists something such that if that it is a shame and it is peaceable is not wrong it is not nonindulgent. sent3: the manometer is not nonindulgent if it is a kind of a autoradiography that does wipe.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is both not a shame and peaceable it is not nonindulgent. ; $context$ = sent1: that the beet is not nonindulgent hold if it is not a kind of a shame and is peaceable. sent2: there exists something such that if that it is a shame and it is peaceable is not wrong it is not nonindulgent. sent3: the manometer is not nonindulgent if it is a kind of a autoradiography that does wipe. ; $proof$ = 
sent1 -> hypothesis; __PROVED__