there is something such that if the fact that it rears Savoyard and does not rear slingshot is false then it is not unthinkable.
sent1: there exists something such that if that it rears Savoyard and it does not rear slingshot is not true then it is unthinkable. sent2: if the fact that the straightaway does rear Savoyard but it does not rear slingshot is not true it is not unthinkable. sent3: there exists something such that if the fact that it rears Savoyard and does rear slingshot is not true it is not unthinkable. sent4: the straightaway does not rear Savoyard if it is a dugout. sent5: something is not a chewink if the fact that it is a kind of a pig and it is not unpreventable is not right. sent6: there exists something such that if the fact that it does suggest and is not armorial is not correct then it is a sizzle. sent7: there is something such that if it is not a hyacinth then it does not coffin pommel. sent8: there is something such that if it is not polymorphemic then it does not sermonize.
sent2 -> hypothesis;
there exists something such that if the fact that it is a pig and it is not unpreventable is wrong that it is not a chewink hold.
sent5 -> int1: if the fact that the pommel is a pig but it is preventable is not right that it is not a kind of a chewink hold.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it rears Savoyard and does not rear slingshot is false then it is not unthinkable. ; $context$ = sent1: there exists something such that if that it rears Savoyard and it does not rear slingshot is not true then it is unthinkable. sent2: if the fact that the straightaway does rear Savoyard but it does not rear slingshot is not true it is not unthinkable. sent3: there exists something such that if the fact that it rears Savoyard and does rear slingshot is not true it is not unthinkable. sent4: the straightaway does not rear Savoyard if it is a dugout. sent5: something is not a chewink if the fact that it is a kind of a pig and it is not unpreventable is not right. sent6: there exists something such that if the fact that it does suggest and is not armorial is not correct then it is a sizzle. sent7: there is something such that if it is not a hyacinth then it does not coffin pommel. sent8: there is something such that if it is not polymorphemic then it does not sermonize. ; $proof$ = 
sent2 -> hypothesis; __PROVED__