there is something such that if it is not nonsectarian it is not incontestable.
sent1: the caldera is not incontestable if it is nonsectarian. sent2: there is something such that if the fact that it is not a Oxydendrum hold that it does not unclog is not incorrect. sent3: if the caldera is not nonsectarian then that it is not incontestable is not false. sent4: there is something such that if it is nonsectarian then it is not incontestable. sent5: there is something such that if it is sectarian then it is incontestable. sent6: if the caldera is not incontestable it does not shiver brittle-star. sent7: there is something such that if it is non-obtuse then it is not a Kwakiutl. sent8: the piperocaine is non-tetanic if it does not impact MAK. sent9: if something is not a sustenance then it is not nonsectarian. sent10: that the caldera is incontestable is not incorrect if it is not nonsectarian.
sent3 -> hypothesis;
if the caldera is not a kind of a sustenance it is not nonsectarian.
sent9 -> hypothesis;
$hypothesis$ = there is something such that if it is not nonsectarian it is not incontestable. ; $context$ = sent1: the caldera is not incontestable if it is nonsectarian. sent2: there is something such that if the fact that it is not a Oxydendrum hold that it does not unclog is not incorrect. sent3: if the caldera is not nonsectarian then that it is not incontestable is not false. sent4: there is something such that if it is nonsectarian then it is not incontestable. sent5: there is something such that if it is sectarian then it is incontestable. sent6: if the caldera is not incontestable it does not shiver brittle-star. sent7: there is something such that if it is non-obtuse then it is not a Kwakiutl. sent8: the piperocaine is non-tetanic if it does not impact MAK. sent9: if something is not a sustenance then it is not nonsectarian. sent10: that the caldera is incontestable is not incorrect if it is not nonsectarian. ; $proof$ = 
sent3 -> hypothesis; __PROVED__