the fact that there is something such that if it is not a tide and it is not plausible it does not stave Goth is wrong.
sent1: the Goth does stave Goth if the fact that it is not a kind of a tide and it is not plausible hold. sent2: the Goth does not stave Goth if it is both not a tide and not plausible. sent3: there is something such that if it is not a tide and it is plausible then it does not stave Goth. sent4: there exists something such that if it is not a tide but implausible it staves Goth.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a tide and it is not plausible it does not stave Goth is wrong. ; $context$ = sent1: the Goth does stave Goth if the fact that it is not a kind of a tide and it is not plausible hold. sent2: the Goth does not stave Goth if it is both not a tide and not plausible. sent3: there is something such that if it is not a tide and it is plausible then it does not stave Goth. sent4: there exists something such that if it is not a tide but implausible it staves Goth. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__