the fact that the cormorant is non-high-interest thing that does constipate does not hold.
sent1: if something is a forebear then it is precordial. sent2: there exists something such that the fact that it is not unalterable and it does jazz noiselessness is false. sent3: if there is something such that it does not sightsee the cormorant is not high-interest. sent4: if the rooftop does solder and is not occlusive then the roll-on is arthromeric. sent5: if the rooftop is precordial then the fact that it is not a constitutional and it is occlusive does not hold. sent6: that the rooftop is not occlusive is not incorrect if that it is non-constitutional thing that is occlusive is false. sent7: the rooftop is a solder and it mystifies give-and-go. sent8: the cormorant does not jazz noiselessness if there is something such that the fact that it is not unalterable and it does jazz noiselessness is not right. sent9: if the roll-on does not jazz noiselessness and is not unalterable it does not jazz rise. sent10: the bonito does not constipate if the roll-on does not jazz rise and does not constipate. sent11: something is not a reason if that it is not a Catalan and is not a kind of a bandtail is incorrect. sent12: if something does not jazz noiselessness it does constipate. sent13: the fact that the viol does sightsee and it does donate is not right. sent14: the fact that that the bonito is both paroxysmal and not high-interest is wrong is not incorrect if it does not constipate. sent15: something that jazzes rise does not jazz noiselessness. sent16: that the roll-on is not Catalan and not a bandtail is incorrect if it is arthromeric. sent17: the bonito jazzes rise and it is unalterable if the fact that the roll-on is not a kind of a reason is not false. sent18: the fact that the cormorant is a kind of non-high-interest thing that constipates is wrong if the bonito does not jazz noiselessness. sent19: if something is not nonlinear then it does wrest neckerchief. sent20: the fact that the cormorant is not high-interest is true if there is something such that the fact that it does sightsee and it donates is incorrect.
sent13 -> int1: there is something such that that it sightsees and it donates is incorrect.; int1 & sent20 -> int2: the cormorant is not high-interest.; sent12 -> int3: if the cormorant does not jazz noiselessness it constipates.; sent2 & sent8 -> int4: that the cormorant does not jazz noiselessness is not incorrect.; int3 & int4 -> int5: the cormorant constipates.; int2 & int5 -> hypothesis;
that the cormorant is not high-interest and does constipate is not true.
sent15 -> int6: if the bonito does jazz rise it does not jazz noiselessness.; sent11 -> int7: the roll-on does not reason if the fact that it is not a Catalan and it is not a bandtail is false.; sent7 -> int8: the rooftop solders.; sent1 -> int9: the rooftop is precordial if the fact that it is a forebear hold.;
$hypothesis$ = the fact that the cormorant is non-high-interest thing that does constipate does not hold. ; $context$ = sent1: if something is a forebear then it is precordial. sent2: there exists something such that the fact that it is not unalterable and it does jazz noiselessness is false. sent3: if there is something such that it does not sightsee the cormorant is not high-interest. sent4: if the rooftop does solder and is not occlusive then the roll-on is arthromeric. sent5: if the rooftop is precordial then the fact that it is not a constitutional and it is occlusive does not hold. sent6: that the rooftop is not occlusive is not incorrect if that it is non-constitutional thing that is occlusive is false. sent7: the rooftop is a solder and it mystifies give-and-go. sent8: the cormorant does not jazz noiselessness if there is something such that the fact that it is not unalterable and it does jazz noiselessness is not right. sent9: if the roll-on does not jazz noiselessness and is not unalterable it does not jazz rise. sent10: the bonito does not constipate if the roll-on does not jazz rise and does not constipate. sent11: something is not a reason if that it is not a Catalan and is not a kind of a bandtail is incorrect. sent12: if something does not jazz noiselessness it does constipate. sent13: the fact that the viol does sightsee and it does donate is not right. sent14: the fact that that the bonito is both paroxysmal and not high-interest is wrong is not incorrect if it does not constipate. sent15: something that jazzes rise does not jazz noiselessness. sent16: that the roll-on is not Catalan and not a bandtail is incorrect if it is arthromeric. sent17: the bonito jazzes rise and it is unalterable if the fact that the roll-on is not a kind of a reason is not false. sent18: the fact that the cormorant is a kind of non-high-interest thing that constipates is wrong if the bonito does not jazz noiselessness. sent19: if something is not nonlinear then it does wrest neckerchief. sent20: the fact that the cormorant is not high-interest is true if there is something such that the fact that it does sightsee and it donates is incorrect. ; $proof$ = 
sent13 -> int1: there is something such that that it sightsees and it donates is incorrect.; int1 & sent20 -> int2: the cormorant is not high-interest.; sent12 -> int3: if the cormorant does not jazz noiselessness it constipates.; sent2 & sent8 -> int4: that the cormorant does not jazz noiselessness is not incorrect.; int3 & int4 -> int5: the cormorant constipates.; int2 & int5 -> hypothesis; __DISPROVED__