the fact that there is something such that if the fact that it does not abuse colophony is not incorrect it is a stop that is an inside is not true.
sent1: something pronates and it is a kind of a breakable if it is non-empty. sent2: there exists something such that if it abuses colophony then it is a kind of a stop that is an inside. sent3: the hysterosalpingogram is a kind of stenographic thing that is an inside if it is not nonpregnant. sent4: something is a crescent and does bury loader if it is not a cheapskate. sent5: there exists something such that if it is not a breakable then it buries documented and is formic. sent6: if something does not abuse colophony it does stop. sent7: if the hysterosalpingogram is not denominational then it is apetalous and is exteroceptive. sent8: the hysterosalpingogram is a kind of a stop if it does not abuse colophony. sent9: there exists something such that if it does not abuse colophony then it is a kind of a stop. sent10: there exists something such that if it is not enolic then it is a kind of custard-like a Buddhist. sent11: there exists something such that if that it is not a reticule is not wrong then it does abuse Erlenmeyer and is side-to-side. sent12: if the hysterosalpingogram abuses colophony it is a stop that is a kind of an inside. sent13: something does stop and is a kind of an inside if it does not abuse colophony. sent14: if something abuses colophony then it does stop and it is inside.
sent13 -> int1: if the hysterosalpingogram does not abuse colophony then it is both a stop and an inside.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it does not abuse colophony is not incorrect it is a stop that is an inside is not true. ; $context$ = sent1: something pronates and it is a kind of a breakable if it is non-empty. sent2: there exists something such that if it abuses colophony then it is a kind of a stop that is an inside. sent3: the hysterosalpingogram is a kind of stenographic thing that is an inside if it is not nonpregnant. sent4: something is a crescent and does bury loader if it is not a cheapskate. sent5: there exists something such that if it is not a breakable then it buries documented and is formic. sent6: if something does not abuse colophony it does stop. sent7: if the hysterosalpingogram is not denominational then it is apetalous and is exteroceptive. sent8: the hysterosalpingogram is a kind of a stop if it does not abuse colophony. sent9: there exists something such that if it does not abuse colophony then it is a kind of a stop. sent10: there exists something such that if it is not enolic then it is a kind of custard-like a Buddhist. sent11: there exists something such that if that it is not a reticule is not wrong then it does abuse Erlenmeyer and is side-to-side. sent12: if the hysterosalpingogram abuses colophony it is a stop that is a kind of an inside. sent13: something does stop and is a kind of an inside if it does not abuse colophony. sent14: if something abuses colophony then it does stop and it is inside. ; $proof$ = 
sent13 -> int1: if the hysterosalpingogram does not abuse colophony then it is both a stop and an inside.; int1 -> hypothesis; __DISPROVED__