that the warship Simonizes battering but it is not a maverick does not hold.
sent1: the crank is not a camouflage. sent2: the fact that the nighthawk is a kind of a acetamide but it does not bend does not hold. sent3: the fact that the fact that something is a kind of lobular thing that is polyvalent is correct is false if it does not open bookshop. sent4: if the fact that something is a kind of a acetamide that is not a kind of a bent does not hold the fact that it does not open bookshop hold. sent5: something does Simonize battering but it is not a maverick if it is a camouflage. sent6: the bookshop is lobular if the crank does not unbutton harmony and is not genital. sent7: if the warship does not open bookshop that it Simonizes battering and it is a maverick does not hold. sent8: the crank does not unbutton harmony. sent9: if the crank does Simonize gluon and does not camouflage then the warship is a kind of a camouflage. sent10: the fact that something Simonizes battering but it is not a kind of a maverick is wrong if it does not open bookshop. sent11: the crank does not unbutton harmony if it is not a camouflage. sent12: the bookshop is not genital if the crank Simonizes gluon. sent13: the warship does not open bookshop if the bookshop Simonizes gluon and/or is lobular.
sent10 -> int1: that the warship Simonizes battering but it is not a maverick is false if it does not open bookshop.;
the warship Simonizes battering and is not a maverick.
sent5 -> int2: the warship does Simonize battering and is not a kind of a maverick if it is a kind of a camouflage.; sent3 -> int3: if the nighthawk does not open bookshop then the fact that it is lobular and polyvalent is not right.; sent4 -> int4: if the fact that the nighthawk is a acetamide but it is not a bent does not hold then it does not open bookshop.; int4 & sent2 -> int5: the nighthawk does not open bookshop.; int3 & int5 -> int6: that the nighthawk is lobular thing that is not non-polyvalent does not hold.; int6 -> int7: there exists something such that that it is lobular and not non-polyvalent is not right.;
$hypothesis$ = that the warship Simonizes battering but it is not a maverick does not hold. ; $context$ = sent1: the crank is not a camouflage. sent2: the fact that the nighthawk is a kind of a acetamide but it does not bend does not hold. sent3: the fact that the fact that something is a kind of lobular thing that is polyvalent is correct is false if it does not open bookshop. sent4: if the fact that something is a kind of a acetamide that is not a kind of a bent does not hold the fact that it does not open bookshop hold. sent5: something does Simonize battering but it is not a maverick if it is a camouflage. sent6: the bookshop is lobular if the crank does not unbutton harmony and is not genital. sent7: if the warship does not open bookshop that it Simonizes battering and it is a maverick does not hold. sent8: the crank does not unbutton harmony. sent9: if the crank does Simonize gluon and does not camouflage then the warship is a kind of a camouflage. sent10: the fact that something Simonizes battering but it is not a kind of a maverick is wrong if it does not open bookshop. sent11: the crank does not unbutton harmony if it is not a camouflage. sent12: the bookshop is not genital if the crank Simonizes gluon. sent13: the warship does not open bookshop if the bookshop Simonizes gluon and/or is lobular. ; $proof$ = 
sent10 -> int1: that the warship Simonizes battering but it is not a maverick is false if it does not open bookshop.; __UNKNOWN__