there is something such that if it is not extramural that it does arrogate cotter and it does not dissent haler is incorrect.
sent1: that the whalebone is amaurotic and it does dissent gatekeeper is not correct if it is not unrecoverable. sent2: the fact that there exists something such that if it is not a recitalist it is a preoccupation and it is not a counterpoint is not wrong. sent3: if the miner is not extramural then the fact that it arrogates cotter and it does not dissent haler is false.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is not extramural that it does arrogate cotter and it does not dissent haler is incorrect. ; $context$ = sent1: that the whalebone is amaurotic and it does dissent gatekeeper is not correct if it is not unrecoverable. sent2: the fact that there exists something such that if it is not a recitalist it is a preoccupation and it is not a counterpoint is not wrong. sent3: if the miner is not extramural then the fact that it arrogates cotter and it does not dissent haler is false. ; $proof$ = 
sent3 -> hypothesis; __PROVED__