the fact that there exists something such that if it is not a diabolism that it either is hypodermal or is a deregulation or both is wrong is not correct.
sent1: there is something such that if it is not a diabolism then it is not hypodermal. sent2: there exists something such that if it is not a diabolism the fact that it is not a deregulation is true. sent3: if the fact that the cupflower is not a diabolism is correct then that either it is hypodermal or it is a kind of a deregulation or both does not hold.
sent3 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a diabolism that it either is hypodermal or is a deregulation or both is wrong is not correct. ; $context$ = sent1: there is something such that if it is not a diabolism then it is not hypodermal. sent2: there exists something such that if it is not a diabolism the fact that it is not a deregulation is true. sent3: if the fact that the cupflower is not a diabolism is correct then that either it is hypodermal or it is a kind of a deregulation or both does not hold. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__