there exists something such that if it does not cascade immunohistochemistry then it does not fold.
sent1: something is not a reserve if it is not an idler. sent2: if the bedding does not cascade immunohistochemistry then it is a kind of a fold. sent3: there is something such that if it is poetics the fact that it is not a nihilist hold. sent4: the bedding does not fold if it does not cascade immunohistochemistry. sent5: the bedding is not a fold if it is not a kind of a mortmain. sent6: there is something such that if it is not amenorrheic that it does not cascade requested hold. sent7: if the bedding is not an increased then it does not cascade immunohistochemistry. sent8: there exists something such that if it is an oxidant that it is not a tact hold. sent9: there is something such that if it is a lingual it is not a demitasse. sent10: the Glaswegian does not fold if it does not cascade demotion. sent11: there is something such that if it is not a kind of a megapode it does not cascade go. sent12: there is something such that if that it is not a kind of a Berkshires is not incorrect it is a kind of a nihilist. sent13: if the bedding does cascade immunohistochemistry it is not a fold. sent14: there is something such that if it cascades immunohistochemistry then it is not a fold. sent15: if the bedding is not a heritage it does not cascade immunohistochemistry. sent16: there is something such that if it does not cascade immunohistochemistry then it is a kind of a fold.
sent4 -> hypothesis;
there is something such that if it is not an idler then it is not a reserve.
sent1 -> int1: the watchdog is not a reserve if it is not an idler.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not cascade immunohistochemistry then it does not fold. ; $context$ = sent1: something is not a reserve if it is not an idler. sent2: if the bedding does not cascade immunohistochemistry then it is a kind of a fold. sent3: there is something such that if it is poetics the fact that it is not a nihilist hold. sent4: the bedding does not fold if it does not cascade immunohistochemistry. sent5: the bedding is not a fold if it is not a kind of a mortmain. sent6: there is something such that if it is not amenorrheic that it does not cascade requested hold. sent7: if the bedding is not an increased then it does not cascade immunohistochemistry. sent8: there exists something such that if it is an oxidant that it is not a tact hold. sent9: there is something such that if it is a lingual it is not a demitasse. sent10: the Glaswegian does not fold if it does not cascade demotion. sent11: there is something such that if it is not a kind of a megapode it does not cascade go. sent12: there is something such that if that it is not a kind of a Berkshires is not incorrect it is a kind of a nihilist. sent13: if the bedding does cascade immunohistochemistry it is not a fold. sent14: there is something such that if it cascades immunohistochemistry then it is not a fold. sent15: if the bedding is not a heritage it does not cascade immunohistochemistry. sent16: there is something such that if it does not cascade immunohistochemistry then it is a kind of a fold. ; $proof$ = 
sent4 -> hypothesis; __PROVED__