the fact that there exists something such that if it does localize it is not a 1820s and it is not a kind of a trove is wrong.
sent1: there exists something such that if it does localize then it is a 1820s that is not a trove. sent2: if the riptide does localize it is both not a 1820s and not a trove.
sent2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does localize it is not a 1820s and it is not a kind of a trove is wrong. ; $context$ = sent1: there exists something such that if it does localize then it is a 1820s that is not a trove. sent2: if the riptide does localize it is both not a 1820s and not a trove. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__