there is something such that if it is not a down-bow then the fact that it is not mutagenic and is not stomatous is false.
sent1: there exists something such that if it is not a down-bow the fact that it is not mutagenic and it is stomatous does not hold. sent2: if the fire-on-the-mountain is not a kind of a down-bow then that it is a kind of non-mutagenic thing that is not stomatous is wrong. sent3: that the fire-on-the-mountain is not mutagenic and is stomatous is not true if it is not a kind of a down-bow.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a down-bow then the fact that it is not mutagenic and is not stomatous is false. ; $context$ = sent1: there exists something such that if it is not a down-bow the fact that it is not mutagenic and it is stomatous does not hold. sent2: if the fire-on-the-mountain is not a kind of a down-bow then that it is a kind of non-mutagenic thing that is not stomatous is wrong. sent3: that the fire-on-the-mountain is not mutagenic and is stomatous is not true if it is not a kind of a down-bow. ; $proof$ = 
sent2 -> hypothesis; __PROVED__