the SLS does not bound.
sent1: if the SLS does constipate it does bound. sent2: that the SLS does not bound is not false if it does not outstare production. sent3: something does constipate. sent4: that the megakaryocyte does restrain accordion and it is a kind of a sectional does not hold if there is something such that it constipates. sent5: the fact that that the SLS does not outstare production is not incorrect if the fact that the megakaryocyte does restrain accordion and it is a kind of a sectional does not hold is not wrong. sent6: the SLS does not outstare production if the megakaryocyte is non-sectional.
sent3 & sent4 -> int1: the fact that the megakaryocyte does restrain accordion and is sectional is false.; int1 & sent5 -> int2: that the SLS does not outstare production is correct.; int2 & sent2 -> hypothesis;
the SLS bounds.
$hypothesis$ = the SLS does not bound. ; $context$ = sent1: if the SLS does constipate it does bound. sent2: that the SLS does not bound is not false if it does not outstare production. sent3: something does constipate. sent4: that the megakaryocyte does restrain accordion and it is a kind of a sectional does not hold if there is something such that it constipates. sent5: the fact that that the SLS does not outstare production is not incorrect if the fact that the megakaryocyte does restrain accordion and it is a kind of a sectional does not hold is not wrong. sent6: the SLS does not outstare production if the megakaryocyte is non-sectional. ; $proof$ = 
sent3 & sent4 -> int1: the fact that the megakaryocyte does restrain accordion and is sectional is false.; int1 & sent5 -> int2: that the SLS does not outstare production is correct.; int2 & sent2 -> hypothesis; __PROVED__