there exists something such that if the fact that it does not report Nung and it is a pine is wrong it is a kind of a Nazarene.
sent1: something is a Nazarene if that it does not report Nung and is a pine is not true. sent2: something is hypnotic if it is not mediatorial and it is bacteremic. sent3: if something is discomycetous then the fact that it is an anaerobe is true. sent4: if that the pumpernickel is both not a Nazarene and a inkle does not hold that it does report associateship hold.
sent1 -> int1: if that the pumpernickel does not report Nung and is a pine does not hold it is a Nazarene.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it does not report Nung and it is a pine is wrong it is a kind of a Nazarene. ; $context$ = sent1: something is a Nazarene if that it does not report Nung and is a pine is not true. sent2: something is hypnotic if it is not mediatorial and it is bacteremic. sent3: if something is discomycetous then the fact that it is an anaerobe is true. sent4: if that the pumpernickel is both not a Nazarene and a inkle does not hold that it does report associateship hold. ; $proof$ = 
sent1 -> int1: if that the pumpernickel does not report Nung and is a pine does not hold it is a Nazarene.; int1 -> hypothesis; __PROVED__