that the spic is either not Bosnian or a speechwriter or both does not hold.
sent1: the fact that the spic is insoluble thing that is not an adapter is incorrect if the glume is unregenerate. sent2: the funicle is Bosnian. sent3: the fact that the acanthion is not a recoil or it cases corset or both does not hold. sent4: the intake is a Ozothamnus if it is not a self-restraint and it is capillary. sent5: if there is something such that it is a kind of a speechwriter then the fact that the funicle is not unregenerate or it is soluble or both is incorrect. sent6: something is unregenerate and a speechwriter if it is insoluble. sent7: there exists something such that it does case corset. sent8: if the funicle is a speechwriter then the spic is a speechwriter. sent9: the Stalinist is Bosnian. sent10: that the intake is not a self-restraint and is a kind of a capillary is true. sent11: the spic is unregenerate. sent12: something is not soluble if the fact that it is not a cream and it is soluble is not true. sent13: the spic is not a speechwriter if there is something such that it is soluble. sent14: if that the spic is non-soluble thing that is not a kind of an adapter does not hold the funicle is a kind of an adapter. sent15: the funicle is unregenerate and it is soluble. sent16: either something is not Bosnian or it is a speechwriter or both if it is not unregenerate. sent17: if the fact that the intake is both a Ozothamnus and nervous hold the glume is not a crowberry. sent18: the spic does prime. sent19: the funicle is unregenerate.
sent15 -> int1: the funicle is soluble.; int1 -> int2: something is soluble.;
the spic is either not Bosnian or a speechwriter or both.
sent16 -> int3: the spic is not Bosnian and/or it is a kind of a speechwriter if it is not unregenerate.; sent4 & sent10 -> int4: the intake is a Ozothamnus.;
$hypothesis$ = that the spic is either not Bosnian or a speechwriter or both does not hold. ; $context$ = sent1: the fact that the spic is insoluble thing that is not an adapter is incorrect if the glume is unregenerate. sent2: the funicle is Bosnian. sent3: the fact that the acanthion is not a recoil or it cases corset or both does not hold. sent4: the intake is a Ozothamnus if it is not a self-restraint and it is capillary. sent5: if there is something such that it is a kind of a speechwriter then the fact that the funicle is not unregenerate or it is soluble or both is incorrect. sent6: something is unregenerate and a speechwriter if it is insoluble. sent7: there exists something such that it does case corset. sent8: if the funicle is a speechwriter then the spic is a speechwriter. sent9: the Stalinist is Bosnian. sent10: that the intake is not a self-restraint and is a kind of a capillary is true. sent11: the spic is unregenerate. sent12: something is not soluble if the fact that it is not a cream and it is soluble is not true. sent13: the spic is not a speechwriter if there is something such that it is soluble. sent14: if that the spic is non-soluble thing that is not a kind of an adapter does not hold the funicle is a kind of an adapter. sent15: the funicle is unregenerate and it is soluble. sent16: either something is not Bosnian or it is a speechwriter or both if it is not unregenerate. sent17: if the fact that the intake is both a Ozothamnus and nervous hold the glume is not a crowberry. sent18: the spic does prime. sent19: the funicle is unregenerate. ; $proof$ = 
sent15 -> int1: the funicle is soluble.; int1 -> int2: something is soluble.; __UNKNOWN__