the corncob is a Lubavitch and/or does encrust jassid.
sent1: if there is something such that it is not non-binomial then the clabber is a copyist but it does not bedew kohlrabi. sent2: there exists something such that it is binomial. sent3: something that does harry perennial and does not flow is not a Lubavitch. sent4: the clabber is a copyist. sent5: the clabber is not a flow if there are irreconcilable things. sent6: if there is something such that the fact that it is both reconcilable and not a Catalan does not hold then the clabber is not a flow. sent7: if something is a copyist but it does not bedew kohlrabi then it harries perennial. sent8: there exists something such that that it is a kind of reconcilable thing that is not Catalan is not right. sent9: if the clabber is not a Lubavitch then the corncob is a neuropsychology and it is a Lubavitch.
sent7 -> int1: the clabber harries perennial if it is a copyist and it does not bedew kohlrabi.; sent2 & sent1 -> int2: the clabber is a copyist that does not bedew kohlrabi.; int1 & int2 -> int3: the clabber does harry perennial.; sent8 & sent6 -> int4: the clabber is not a flow.; int3 & int4 -> int5: the clabber harries perennial but it is not a kind of a flow.; sent3 -> int6: the clabber is not a kind of a Lubavitch if it harries perennial and is not a kind of a flow.; int5 & int6 -> int7: the clabber is not a kind of a Lubavitch.; int7 & sent9 -> int8: the corncob is a neuropsychology and a Lubavitch.; int8 -> int9: the corncob is a kind of a Lubavitch.; int9 -> hypothesis;
$hypothesis$ = the corncob is a Lubavitch and/or does encrust jassid. ; $context$ = sent1: if there is something such that it is not non-binomial then the clabber is a copyist but it does not bedew kohlrabi. sent2: there exists something such that it is binomial. sent3: something that does harry perennial and does not flow is not a Lubavitch. sent4: the clabber is a copyist. sent5: the clabber is not a flow if there are irreconcilable things. sent6: if there is something such that the fact that it is both reconcilable and not a Catalan does not hold then the clabber is not a flow. sent7: if something is a copyist but it does not bedew kohlrabi then it harries perennial. sent8: there exists something such that that it is a kind of reconcilable thing that is not Catalan is not right. sent9: if the clabber is not a Lubavitch then the corncob is a neuropsychology and it is a Lubavitch. ; $proof$ = 
sent7 -> int1: the clabber harries perennial if it is a copyist and it does not bedew kohlrabi.; sent2 & sent1 -> int2: the clabber is a copyist that does not bedew kohlrabi.; int1 & int2 -> int3: the clabber does harry perennial.; sent8 & sent6 -> int4: the clabber is not a flow.; int3 & int4 -> int5: the clabber harries perennial but it is not a kind of a flow.; sent3 -> int6: the clabber is not a kind of a Lubavitch if it harries perennial and is not a kind of a flow.; int5 & int6 -> int7: the clabber is not a kind of a Lubavitch.; int7 & sent9 -> int8: the corncob is a neuropsychology and a Lubavitch.; int8 -> int9: the corncob is a kind of a Lubavitch.; int9 -> hypothesis; __PROVED__