there is something such that if that it is disintegrative is not false it does not cloy and it is retroactive.
sent1: if that the viper does restore demonstrator is correct then it is non-retroactive and maxi. sent2: there exists something such that if it is disintegrative then it does not cloy. sent3: there exists something such that if it is disintegrative then it is not non-retroactive. sent4: if the sternocleidomastoid is not non-disintegrative it is retroactive. sent5: if something fritters iguana then it does not teem and does restore demonstrator. sent6: there exists something such that if it is disintegrative it does cloy and it is retroactive. sent7: there is something such that if it dissimilates lantana then it does not slack and does restore missile. sent8: if the sternocleidomastoid is disintegrative then it cloys and is retroactive. sent9: if the sternocleidomastoid is disintegrative it does not cloy and is retroactive.
sent9 -> hypothesis;
there is something such that if it fritters iguana then it does not teem and does restore demonstrator.
sent5 -> int1: the cliff-brake does not teem but it does restore demonstrator if it does fritter iguana.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is disintegrative is not false it does not cloy and it is retroactive. ; $context$ = sent1: if that the viper does restore demonstrator is correct then it is non-retroactive and maxi. sent2: there exists something such that if it is disintegrative then it does not cloy. sent3: there exists something such that if it is disintegrative then it is not non-retroactive. sent4: if the sternocleidomastoid is not non-disintegrative it is retroactive. sent5: if something fritters iguana then it does not teem and does restore demonstrator. sent6: there exists something such that if it is disintegrative it does cloy and it is retroactive. sent7: there is something such that if it dissimilates lantana then it does not slack and does restore missile. sent8: if the sternocleidomastoid is disintegrative then it cloys and is retroactive. sent9: if the sternocleidomastoid is disintegrative it does not cloy and is retroactive. ; $proof$ = 
sent9 -> hypothesis; __PROVED__