the fact that the ordainer does rope corruptibility and is non-smooth does not hold.
sent1: the fact that the ordainer is either not non-smooth or not impractical or both is not true. sent2: if the fact that the overlap is a Connarus but it is not a rorqual does not hold then the incurable does not glare profligacy. sent3: if the fact that the incurable is a Connarus but it is not a rorqual is not correct that the cryptograph is not a thunderstorm is not wrong. sent4: if the gastrulation does not glare profligacy then the newsreader does not concoct coziness. sent5: the fact that that the ordainer does rope corruptibility and is not smooth is false is correct if the newsreader does not concoct coziness. sent6: the gastrulation does not glare profligacy if the fact that the cryptograph either is impractical or does not glare attestation or both does not hold. sent7: if there is something such that that it is a bouncer and it is insensible does not hold that the tenderfoot does not geminate Omomyid is true. sent8: if the newsreader concocts coziness and it is a thunderstorm the gastrulation is not a thunderstorm. sent9: that the ordainer ropes corruptibility and it is a kind of a smooth does not hold if the fact that the newsreader does not concoct coziness is not false. sent10: that the incurable is a Connarus but it is not a kind of a rorqual is not correct. sent11: the fact that the overlap is a Connarus but it is not a rorqual is not true if something does not unpick. sent12: there exists something such that the fact that it is a bouncer and insensible is incorrect. sent13: if the cryptograph does not concoct coziness the newsreader is not a thunderstorm. sent14: the fact that the ordainer does glare profligacy and is not a smooth is not correct if the cryptograph is not impractical. sent15: the scalpel does not unpick and it does not disgust if the tenderfoot does not geminate Omomyid. sent16: something is a rorqual if it is not a thunderstorm.
sent3 & sent10 -> int1: the cryptograph is not a thunderstorm.;
the ordainer ropes corruptibility and is not smooth.
sent12 & sent7 -> int2: the tenderfoot does not geminate Omomyid.; sent15 & int2 -> int3: the scalpel does not unpick and it does not disgust.; int3 -> int4: the scalpel does not unpick.; int4 -> int5: that something does not unpick is true.; int5 & sent11 -> int6: that the overlap is both a Connarus and not a rorqual is false.; sent2 & int6 -> int7: the incurable does not glare profligacy.; int7 -> int8: there exists something such that that it does not glare profligacy hold.;
$hypothesis$ = the fact that the ordainer does rope corruptibility and is non-smooth does not hold. ; $context$ = sent1: the fact that the ordainer is either not non-smooth or not impractical or both is not true. sent2: if the fact that the overlap is a Connarus but it is not a rorqual does not hold then the incurable does not glare profligacy. sent3: if the fact that the incurable is a Connarus but it is not a rorqual is not correct that the cryptograph is not a thunderstorm is not wrong. sent4: if the gastrulation does not glare profligacy then the newsreader does not concoct coziness. sent5: the fact that that the ordainer does rope corruptibility and is not smooth is false is correct if the newsreader does not concoct coziness. sent6: the gastrulation does not glare profligacy if the fact that the cryptograph either is impractical or does not glare attestation or both does not hold. sent7: if there is something such that that it is a bouncer and it is insensible does not hold that the tenderfoot does not geminate Omomyid is true. sent8: if the newsreader concocts coziness and it is a thunderstorm the gastrulation is not a thunderstorm. sent9: that the ordainer ropes corruptibility and it is a kind of a smooth does not hold if the fact that the newsreader does not concoct coziness is not false. sent10: that the incurable is a Connarus but it is not a kind of a rorqual is not correct. sent11: the fact that the overlap is a Connarus but it is not a rorqual is not true if something does not unpick. sent12: there exists something such that the fact that it is a bouncer and insensible is incorrect. sent13: if the cryptograph does not concoct coziness the newsreader is not a thunderstorm. sent14: the fact that the ordainer does glare profligacy and is not a smooth is not correct if the cryptograph is not impractical. sent15: the scalpel does not unpick and it does not disgust if the tenderfoot does not geminate Omomyid. sent16: something is a rorqual if it is not a thunderstorm. ; $proof$ = 
sent3 & sent10 -> int1: the cryptograph is not a thunderstorm.; __UNKNOWN__