there exists something such that if that it is categorial and it is not a shellflower does not hold then it does not bow celebrity.
sent1: there exists something such that if that it is a kind of a stack and it does not normalize dealignment does not hold it is mild. sent2: if the sieve is a kind of a shellflower then it does not bow celebrity. sent3: the fact that the sieve does not bow celebrity is correct if it does tinge kudzu. sent4: there exists something such that if it is undemonstrative and does not upgrade Takilman then it is not a serger. sent5: there exists something such that if the fact that it is noncritical and it is a leafhopper does not hold the fact that it is not a Lehar is not false. sent6: the sieve does not bow celebrity if that it is categorial and it is not a shellflower is not right. sent7: there is something such that if it is a shellflower it does not bow celebrity. sent8: something is not categorial if that it does amend and it is not a kind of a raisin is false.
sent6 -> hypothesis;
the sieve is not categorial if that it does amend and is not a raisin does not hold.
sent8 -> hypothesis;
$hypothesis$ = there exists something such that if that it is categorial and it is not a shellflower does not hold then it does not bow celebrity. ; $context$ = sent1: there exists something such that if that it is a kind of a stack and it does not normalize dealignment does not hold it is mild. sent2: if the sieve is a kind of a shellflower then it does not bow celebrity. sent3: the fact that the sieve does not bow celebrity is correct if it does tinge kudzu. sent4: there exists something such that if it is undemonstrative and does not upgrade Takilman then it is not a serger. sent5: there exists something such that if the fact that it is noncritical and it is a leafhopper does not hold the fact that it is not a Lehar is not false. sent6: the sieve does not bow celebrity if that it is categorial and it is not a shellflower is not right. sent7: there is something such that if it is a shellflower it does not bow celebrity. sent8: something is not categorial if that it does amend and it is not a kind of a raisin is false. ; $proof$ = 
sent6 -> hypothesis; __PROVED__