the fact that there is something such that if the fact that it detaches and it is not discomycetous is incorrect then it does not haunt is not correct.
sent1: there exists something such that if that it does detach and is discomycetous is not true then it is not a haunt. sent2: there is something such that if it does detach and is not discomycetous then that it is not a haunt hold. sent3: the Emmenthal does not haunt if that it detaches and it is not discomycetous does not hold.
sent3 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it detaches and it is not discomycetous is incorrect then it does not haunt is not correct. ; $context$ = sent1: there exists something such that if that it does detach and is discomycetous is not true then it is not a haunt. sent2: there is something such that if it does detach and is not discomycetous then that it is not a haunt hold. sent3: the Emmenthal does not haunt if that it detaches and it is not discomycetous does not hold. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__