there exists something such that if the fact that it is erect thing that is not a hanger is wrong it parses supertitle.
sent1: there is something such that if that it is erect a hanger is not right it parses supertitle. sent2: if that the bigarade is erect thing that is a hanger is false then it does parse supertitle. sent3: if the bigarade is unerect then it parses supertitle. sent4: something parses supertitle if it is not unerect and it is not a kind of a hanger. sent5: if that something does not article diestock and does not fix saved is not right then it is a kind of a bigarade. sent6: there exists something such that if it is a hanger it parses supertitle. sent7: the bigarade does parse supertitle if that it is not unerect and not a hanger is not wrong. sent8: there exists something such that if that it is unerect and it is not a hanger does not hold then it does parse supertitle. sent9: there exists something such that if that it is unerect is not wrong it does parse supertitle. sent10: something does parse supertitle if the fact that it is both not unerect and not a hanger does not hold. sent11: there is something such that if it is not unerect and is not a hanger then it parses supertitle. sent12: something is a company if the fact that it does not slope and is not a symposiast is not true.
sent10 -> int1: the bigarade parses supertitle if the fact that it is not unerect and it is not a hanger is incorrect.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is erect thing that is not a hanger is wrong it parses supertitle. ; $context$ = sent1: there is something such that if that it is erect a hanger is not right it parses supertitle. sent2: if that the bigarade is erect thing that is a hanger is false then it does parse supertitle. sent3: if the bigarade is unerect then it parses supertitle. sent4: something parses supertitle if it is not unerect and it is not a kind of a hanger. sent5: if that something does not article diestock and does not fix saved is not right then it is a kind of a bigarade. sent6: there exists something such that if it is a hanger it parses supertitle. sent7: the bigarade does parse supertitle if that it is not unerect and not a hanger is not wrong. sent8: there exists something such that if that it is unerect and it is not a hanger does not hold then it does parse supertitle. sent9: there exists something such that if that it is unerect is not wrong it does parse supertitle. sent10: something does parse supertitle if the fact that it is both not unerect and not a hanger does not hold. sent11: there is something such that if it is not unerect and is not a hanger then it parses supertitle. sent12: something is a company if the fact that it does not slope and is not a symposiast is not true. ; $proof$ = 
sent10 -> int1: the bigarade parses supertitle if the fact that it is not unerect and it is not a hanger is incorrect.; int1 -> hypothesis; __PROVED__