the amaranth is a kind of a beck but it is not mitral.
sent1: if the amaranth is autotelic then the tuberculin is autotelic. sent2: everything is not mitral and not siding. sent3: everything is not a circumduction. sent4: something is a kind of a beck if it does overturn quantity. sent5: the fact that the tuberculin is not a dysarthria or it is a kind of a miscalculation or both hold. sent6: that everything is a kind of a lair is not false. sent7: the amaranth is a kind of autotelic thing that is a miscalculation if the snot is not a dysarthria. sent8: the fact that something is not a siding but it is mitral is wrong if it is a lair. sent9: if the basting is a beck but it is not a dysarthria then the snot is not a dysarthria. sent10: the amaranth overturns quantity if there exists something such that it is not a dysarthria or it is not a miscalculation or both. sent11: the amaranth is not a miscalculation if there exists something such that that it does not overturn quantity and/or it is a beck does not hold. sent12: the tuberculin is not a siding if the snot is not a kiss and is a lair. sent13: if something is a miscalculation the fact that it is a beck and it is not mitral does not hold. sent14: there exists something such that the fact that it is not a volvulus and/or it is not a metatarsal is not correct. sent15: everything is not a gift and does not group timepiece.
sent4 -> int1: if the fact that the amaranth overturns quantity is not false it is a beck.; sent2 -> int2: the amaranth is not mitral and is not a siding.; int2 -> int3: the fact that the amaranth is mitral does not hold.;
the tuberculin is autotelic.
sent8 -> int4: that the moonfish is not siding but mitral is not correct if that it is a lair hold.; sent6 -> int5: the moonfish is a kind of a lair.; int4 & int5 -> int6: the fact that the moonfish is not siding and not non-mitral is not right.; int6 -> int7: there exists nothing such that it is not a siding and it is mitral.; int7 -> int8: the fact that the timepiece is a kind of non-siding thing that is mitral is wrong.; int8 -> int9: there is something such that that it is not siding and is mitral is not true.;
$hypothesis$ = the amaranth is a kind of a beck but it is not mitral. ; $context$ = sent1: if the amaranth is autotelic then the tuberculin is autotelic. sent2: everything is not mitral and not siding. sent3: everything is not a circumduction. sent4: something is a kind of a beck if it does overturn quantity. sent5: the fact that the tuberculin is not a dysarthria or it is a kind of a miscalculation or both hold. sent6: that everything is a kind of a lair is not false. sent7: the amaranth is a kind of autotelic thing that is a miscalculation if the snot is not a dysarthria. sent8: the fact that something is not a siding but it is mitral is wrong if it is a lair. sent9: if the basting is a beck but it is not a dysarthria then the snot is not a dysarthria. sent10: the amaranth overturns quantity if there exists something such that it is not a dysarthria or it is not a miscalculation or both. sent11: the amaranth is not a miscalculation if there exists something such that that it does not overturn quantity and/or it is a beck does not hold. sent12: the tuberculin is not a siding if the snot is not a kiss and is a lair. sent13: if something is a miscalculation the fact that it is a beck and it is not mitral does not hold. sent14: there exists something such that the fact that it is not a volvulus and/or it is not a metatarsal is not correct. sent15: everything is not a gift and does not group timepiece. ; $proof$ = 
sent4 -> int1: if the fact that the amaranth overturns quantity is not false it is a beck.; sent2 -> int2: the amaranth is not mitral and is not a siding.; int2 -> int3: the fact that the amaranth is mitral does not hold.; __UNKNOWN__