there exists something such that if it is not a mold and flabbergasts yarder the fact that it is nonsuppurative is true.
sent1: the mountainside is nonsuppurative if it is not a kind of a mold and flabbergasts yarder.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a mold and flabbergasts yarder the fact that it is nonsuppurative is true. ; $context$ = sent1: the mountainside is nonsuppurative if it is not a kind of a mold and flabbergasts yarder. ; $proof$ = 
sent1 -> hypothesis; __PROVED__