the fact that something is not changeable and is an assurance is not correct.
sent1: The catarrh bespangles skinny-dipper. sent2: the skinny-dipper bespangles catarrh. sent3: there exists something such that it is changeable and is an assurance. sent4: if that the skinny-dipper bespangles catarrh is correct the antimony is both not changeable and an assurance. sent5: something is not trigonometric but it destines Rous if that it does not bespangle catarrh hold.
sent4 & sent2 -> int1: the fact that the antimony is a kind of non-changeable thing that is an assurance is correct.; int1 -> hypothesis;
something is non-trigonometric but it destines Rous.
sent5 -> int2: the skinny-dipper is not trigonometric and does destine Rous if the fact that it does not bespangle catarrh is not incorrect.;
$hypothesis$ = the fact that something is not changeable and is an assurance is not correct. ; $context$ = sent1: The catarrh bespangles skinny-dipper. sent2: the skinny-dipper bespangles catarrh. sent3: there exists something such that it is changeable and is an assurance. sent4: if that the skinny-dipper bespangles catarrh is correct the antimony is both not changeable and an assurance. sent5: something is not trigonometric but it destines Rous if that it does not bespangle catarrh hold. ; $proof$ = 
sent4 & sent2 -> int1: the fact that the antimony is a kind of non-changeable thing that is an assurance is correct.; int1 -> hypothesis; __DISPROVED__