there exists something such that if it is a kind of a puerpera then the fact that it does not major hold.
sent1: if something is a puerpera it is a major. sent2: the admonisher majors if it is a puerpera. sent3: there exists something such that if that it is a kind of a puerpera is not incorrect it is major.
$hypothesis$ = there exists something such that if it is a kind of a puerpera then the fact that it does not major hold. ; $context$ = sent1: if something is a puerpera it is a major. sent2: the admonisher majors if it is a puerpera. sent3: there exists something such that if that it is a kind of a puerpera is not incorrect it is major. ; $proof$ = 
__UNKNOWN__