the slop is maximal and it is a downdraft.
sent1: if the lizard's-tail does not magnetize solvate then it is a kind of maximal a downdraft. sent2: if the lizard's-tail is maximal that the kosher is a kind of non-desirable thing that does not cock is correct. sent3: if something is desirable it is maximal. sent4: the canella is non-calm and non-pluralistic if it does not bow Mande. sent5: the spruce is a kind of a cock. sent6: the spruce is a cock if the slop is not a kind of a cock and pleaches. sent7: the slop is not a calm if the canella is both not a calm and not pluralistic. sent8: the flagon records. sent9: The basidiospore does magnetize slop. sent10: the slop does magnetize basidiospore. sent11: if something is not a calm it pleaches and it is seamless. sent12: the lizard's-tail does not magnetize solvate if something is not a quartet and/or is paranasal. sent13: if the spruce is a kind of a cock then the flagon is a kind of a recorded. sent14: the spruce pleaches if it records. sent15: that the marsupium records is not wrong if the flagon does records. sent16: the canella does not bow Mande. sent17: everything is not a kind of a quartet and it is a accentor. sent18: if the slop does magnetize basidiospore then the fact that it does magnetize solvate hold. sent19: the flagon is a kind of a recorded that cocks. sent20: the flagon is desirable. sent21: something does magnetize basidiospore if it does record. sent22: if something magnetizes solvate it is a downdraft. sent23: that something is maximal and it is a downdraft does not hold if it is not a recorded. sent24: the slop is not a cock if the kosher is a kind of undesirable thing that is not a kind of a cock. sent25: the slop is desirable if the spruce pleaches.
sent19 -> int1: the flagon is a kind of a cock.; sent3 -> int2: the slop is maximal if it is desirable.; sent22 -> int3: the slop is a downdraft if it does magnetize solvate.; sent18 & sent10 -> int4: the slop does magnetize solvate.; int3 & int4 -> int5: the slop is a downdraft.;
the fact that the slop is maximal and it is a downdraft does not hold.
sent23 -> int6: that the slop is maximal thing that is a kind of a downdraft is not right if it is not a recorded.;
$hypothesis$ = the slop is maximal and it is a downdraft. ; $context$ = sent1: if the lizard's-tail does not magnetize solvate then it is a kind of maximal a downdraft. sent2: if the lizard's-tail is maximal that the kosher is a kind of non-desirable thing that does not cock is correct. sent3: if something is desirable it is maximal. sent4: the canella is non-calm and non-pluralistic if it does not bow Mande. sent5: the spruce is a kind of a cock. sent6: the spruce is a cock if the slop is not a kind of a cock and pleaches. sent7: the slop is not a calm if the canella is both not a calm and not pluralistic. sent8: the flagon records. sent9: The basidiospore does magnetize slop. sent10: the slop does magnetize basidiospore. sent11: if something is not a calm it pleaches and it is seamless. sent12: the lizard's-tail does not magnetize solvate if something is not a quartet and/or is paranasal. sent13: if the spruce is a kind of a cock then the flagon is a kind of a recorded. sent14: the spruce pleaches if it records. sent15: that the marsupium records is not wrong if the flagon does records. sent16: the canella does not bow Mande. sent17: everything is not a kind of a quartet and it is a accentor. sent18: if the slop does magnetize basidiospore then the fact that it does magnetize solvate hold. sent19: the flagon is a kind of a recorded that cocks. sent20: the flagon is desirable. sent21: something does magnetize basidiospore if it does record. sent22: if something magnetizes solvate it is a downdraft. sent23: that something is maximal and it is a downdraft does not hold if it is not a recorded. sent24: the slop is not a cock if the kosher is a kind of undesirable thing that is not a kind of a cock. sent25: the slop is desirable if the spruce pleaches. ; $proof$ = 
sent19 -> int1: the flagon is a kind of a cock.; sent3 -> int2: the slop is maximal if it is desirable.; sent22 -> int3: the slop is a downdraft if it does magnetize solvate.; sent18 & sent10 -> int4: the slop does magnetize solvate.; int3 & int4 -> int5: the slop is a downdraft.; __UNKNOWN__