the slip-on does lengthen.
sent1: that something does dissociate and it does lengthen does not hold if the fact that it is not benevolent is right. sent2: the capacity is not benevolent but it does dissociate if the steelmaker does dissociate. sent3: if something is a Mantle then it is atonalistic. sent4: if the fact that the steelmaker is a monochromacy is not incorrect then the fact that it is pericardial thing that does not leap transcendentalist is wrong. sent5: the capacity is a Mantle. sent6: if there is something such that that it is pericardial and it does not leap transcendentalist is incorrect the footballer is not atonalistic. sent7: that something is not a Mantle but it is benevolent is incorrect if it is not atonalistic. sent8: if the fact that the footballer does guggle authority and/or it is not a kind of a fergusonite is not true the steelmaker does dissociate. sent9: something does not lengthen if the fact that it dissociates and lengthen does not hold. sent10: the fact that the pairing dangles pairing and/or does not guggle authority is incorrect. sent11: the capacity is not benevolent. sent12: there exists something such that it is atonalistic. sent13: the steelmaker is a monochromacy. sent14: the fact that either the footballer does guggle authority or it is not a kind of a fergusonite or both is wrong.
sent8 & sent14 -> int1: the steelmaker dissociates.; int1 & sent2 -> int2: the capacity is not benevolent but it dissociates.; int2 -> int3: the fact that the capacity does dissociate hold.; sent3 -> int4: if the capacity is a Mantle then it is atonalistic.; int4 & sent5 -> int5: the capacity is not non-atonalistic.; int3 & int5 -> int6: the capacity is atonalistic and does dissociate.; int6 -> int7: there is something such that it is atonalistic and dissociates.;
the slip-on does not lengthen.
sent9 -> int8: the slip-on does not lengthen if the fact that it dissociates and does lengthen is not correct.; sent1 -> int9: that the slip-on dissociates and it lengthens is not true if it is not benevolent.; sent7 -> int10: that the footballer is not a Mantle and is benevolent is not right if it is not atonalistic.; sent4 & sent13 -> int11: that the steelmaker is pericardial but it does not leap transcendentalist is not correct.; int11 -> int12: there is something such that the fact that it is pericardial and it does not leap transcendentalist does not hold.; int12 & sent6 -> int13: the footballer is not atonalistic.; int10 & int13 -> int14: the fact that the footballer is not a Mantle but benevolent is wrong.; int14 -> int15: there is something such that the fact that it is not a kind of a Mantle and is benevolent does not hold.;
$hypothesis$ = the slip-on does lengthen. ; $context$ = sent1: that something does dissociate and it does lengthen does not hold if the fact that it is not benevolent is right. sent2: the capacity is not benevolent but it does dissociate if the steelmaker does dissociate. sent3: if something is a Mantle then it is atonalistic. sent4: if the fact that the steelmaker is a monochromacy is not incorrect then the fact that it is pericardial thing that does not leap transcendentalist is wrong. sent5: the capacity is a Mantle. sent6: if there is something such that that it is pericardial and it does not leap transcendentalist is incorrect the footballer is not atonalistic. sent7: that something is not a Mantle but it is benevolent is incorrect if it is not atonalistic. sent8: if the fact that the footballer does guggle authority and/or it is not a kind of a fergusonite is not true the steelmaker does dissociate. sent9: something does not lengthen if the fact that it dissociates and lengthen does not hold. sent10: the fact that the pairing dangles pairing and/or does not guggle authority is incorrect. sent11: the capacity is not benevolent. sent12: there exists something such that it is atonalistic. sent13: the steelmaker is a monochromacy. sent14: the fact that either the footballer does guggle authority or it is not a kind of a fergusonite or both is wrong. ; $proof$ = 
sent8 & sent14 -> int1: the steelmaker dissociates.; int1 & sent2 -> int2: the capacity is not benevolent but it dissociates.; int2 -> int3: the fact that the capacity does dissociate hold.; sent3 -> int4: if the capacity is a Mantle then it is atonalistic.; int4 & sent5 -> int5: the capacity is not non-atonalistic.; int3 & int5 -> int6: the capacity is atonalistic and does dissociate.; int6 -> int7: there is something such that it is atonalistic and dissociates.; __UNKNOWN__