there exists something such that if it is not a beauty it is not neuropsychological and it mounds.
sent1: the draftsman is not neuropsychological but it mounds if it is a beauty. sent2: something is both not neuropsychological and a mound if it is not a beauty. sent3: something does not water but it wends if it does not commercialize blacklist.
sent2 -> int1: the draftsman is both not neuropsychological and a mound if it is not a beauty.; int1 -> hypothesis;
there is something such that if it does not commercialize blacklist then it does not water and it does wend.
sent3 -> int2: the pleurocarp is not a waters and does wend if it does not commercialize blacklist.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a beauty it is not neuropsychological and it mounds. ; $context$ = sent1: the draftsman is not neuropsychological but it mounds if it is a beauty. sent2: something is both not neuropsychological and a mound if it is not a beauty. sent3: something does not water but it wends if it does not commercialize blacklist. ; $proof$ = 
sent2 -> int1: the draftsman is both not neuropsychological and a mound if it is not a beauty.; int1 -> hypothesis; __PROVED__