there is something such that if that it does not extravasate and is a kind of a siderocyte does not hold then it is not inglorious.
sent1: something is not inglorious if it does not extravasate and it is a kind of a siderocyte. sent2: if the plaice does not extravasate but it is a siderocyte then it is not inglorious. sent3: there exists something such that if the fact that it extravasates and it is a siderocyte is not true then it is not inglorious. sent4: the plaice is not inglorious if the fact that it extravasates and it is a kind of a siderocyte is false. sent5: there is something such that if it does not extravasate and it is a siderocyte then that it is not inglorious hold. sent6: if that something does not extravasate but it is a siderocyte is not true then it is inglorious. sent7: if that something is not a shimmy but a paradox is not correct then it does not barricade plaice. sent8: that the Hegelian juliennes jimdandy is true if the fact that it does not disguise totality and is ectomorphic is incorrect. sent9: there is something such that if it extravasates it is not inglorious. sent10: there is something such that if that it does not extravasate and it is a siderocyte is incorrect then that it is inglorious is not false. sent11: that something is glorious if the fact that it does not extravasate and is a siderocyte is wrong is right. sent12: if the plaice is not a siderocyte then that it is not inglorious hold.
sent11 -> int1: if the fact that the plaice does not extravasate and is a kind of a siderocyte is not true then it is not inglorious.; int1 -> hypothesis;
if the fact that the plaice is not a shimmy but it is a kind of a paradox is not true it does not barricade plaice.
sent7 -> hypothesis;
$hypothesis$ = there is something such that if that it does not extravasate and is a kind of a siderocyte does not hold then it is not inglorious. ; $context$ = sent1: something is not inglorious if it does not extravasate and it is a kind of a siderocyte. sent2: if the plaice does not extravasate but it is a siderocyte then it is not inglorious. sent3: there exists something such that if the fact that it extravasates and it is a siderocyte is not true then it is not inglorious. sent4: the plaice is not inglorious if the fact that it extravasates and it is a kind of a siderocyte is false. sent5: there is something such that if it does not extravasate and it is a siderocyte then that it is not inglorious hold. sent6: if that something does not extravasate but it is a siderocyte is not true then it is inglorious. sent7: if that something is not a shimmy but a paradox is not correct then it does not barricade plaice. sent8: that the Hegelian juliennes jimdandy is true if the fact that it does not disguise totality and is ectomorphic is incorrect. sent9: there is something such that if it extravasates it is not inglorious. sent10: there is something such that if that it does not extravasate and it is a siderocyte is incorrect then that it is inglorious is not false. sent11: that something is glorious if the fact that it does not extravasate and is a siderocyte is wrong is right. sent12: if the plaice is not a siderocyte then that it is not inglorious hold. ; $proof$ = 
sent11 -> int1: if the fact that the plaice does not extravasate and is a kind of a siderocyte is not true then it is not inglorious.; int1 -> hypothesis; __PROVED__