the cattle is not a cellulosic but it does duck.
sent1: if something does requite washhouse it is not a kind of a cellulosic and it is a duck. sent2: the Karelian is not a pollen. sent3: there is something such that it does not requite washhouse. sent4: the cattle is not a bully if it impinges viscera. sent5: something is not a Landau if it is a Bombyx and/or not abient. sent6: the cattle is a Bombyx and/or not abient if there exists something such that it does not requite washhouse. sent7: that something is not a kind of a cellulosic and is a duck is not right if it is not a Landau. sent8: something does requite washhouse if it is a Bombyx. sent9: if the Karelian is not a pollen then the arch is a kind of a Landau that nuts. sent10: that the docent is not a take but it is a kind of a Bombyx is incorrect. sent11: either the cattle is a kind of a cellulosic or it is not aeriferous or both. sent12: the draftee is not a kind of a alehoof if it is a kind of a Bombyx and/or it is not credible.
sent3 & sent6 -> int1: the cattle is a Bombyx and/or it is not abient.; sent5 -> int2: the cattle is not a kind of a Landau if it is a Bombyx and/or it is non-abient.; int1 & int2 -> int3: the fact that the cattle is not a Landau is not wrong.; sent7 -> int4: that the cattle is both not a cellulosic and a duck is incorrect if it is not a Landau.; int3 & int4 -> hypothesis;
the cattle is not a cellulosic but a duck.
sent1 -> int5: if the cattle does requite washhouse then it is not a cellulosic and ducks.; sent8 -> int6: that the cattle requites washhouse hold if it is a Bombyx.; sent9 & sent2 -> int7: the arch is a Landau and a nut.; int7 -> int8: the arch is a kind of a Landau.; int8 -> int9: there exists something such that the fact that it is a Landau is not wrong.;
$hypothesis$ = the cattle is not a cellulosic but it does duck. ; $context$ = sent1: if something does requite washhouse it is not a kind of a cellulosic and it is a duck. sent2: the Karelian is not a pollen. sent3: there is something such that it does not requite washhouse. sent4: the cattle is not a bully if it impinges viscera. sent5: something is not a Landau if it is a Bombyx and/or not abient. sent6: the cattle is a Bombyx and/or not abient if there exists something such that it does not requite washhouse. sent7: that something is not a kind of a cellulosic and is a duck is not right if it is not a Landau. sent8: something does requite washhouse if it is a Bombyx. sent9: if the Karelian is not a pollen then the arch is a kind of a Landau that nuts. sent10: that the docent is not a take but it is a kind of a Bombyx is incorrect. sent11: either the cattle is a kind of a cellulosic or it is not aeriferous or both. sent12: the draftee is not a kind of a alehoof if it is a kind of a Bombyx and/or it is not credible. ; $proof$ = 
sent3 & sent6 -> int1: the cattle is a Bombyx and/or it is not abient.; sent5 -> int2: the cattle is not a kind of a Landau if it is a Bombyx and/or it is non-abient.; int1 & int2 -> int3: the fact that the cattle is not a Landau is not wrong.; sent7 -> int4: that the cattle is both not a cellulosic and a duck is incorrect if it is not a Landau.; int3 & int4 -> hypothesis; __DISPROVED__