the roundhead is mortal or does underquote or both.
sent1: the roundhead is a Orwell. sent2: something is not a lurker or it does not dogmatize Hollerith or both if it is not agraphic. sent3: if there is something such that that it is choral is correct the incurable does traffic tablet and it is removable. sent4: the onionskin traffics tablet if the incurable does traffics tablet. sent5: something is a kind of a lurker. sent6: the fact that something is not a lurker is right if it is not a lurker and/or it does not dogmatize Hollerith. sent7: the fact that the tuft dogmatizes Hollerith hold. sent8: something that does dogmatize Hollerith is mortal. sent9: that something is not a kind of a parachutist and it is not puerperal is false if it is Mancunian. sent10: that the roundhead is a hame or it is hypodermal or both hold. sent11: the macromolecule is choral if it is slow. sent12: if there exists something such that it does underquote then the roundhead is mortal. sent13: if the onionskin does traffic tablet the quay is not a kind of a baroque. sent14: if the clozapine is not a lurker then the fact that the roundhead is mortal or does underquote or both is false. sent15: the macromolecule is slow. sent16: the baseboard is unready. sent17: the clozapine is not agraphic if that that the afferent is not a parachutist and it is not puerperal hold does not hold. sent18: the eavesdropper is glossopharyngeal if it does dogmatize altarpiece. sent19: if something is a kind of a phobia it purses Michener. sent20: the roundhead is participial. sent21: if there is something such that it is not baroque the fact that the lowboy does not whine but it is unready does not hold.
sent8 -> int1: if the roundhead dogmatizes Hollerith it is mortal.;
that either the roundhead is mortal or it underquotes or both is not right.
sent6 -> int2: the clozapine is not a lurker if it is not a lurker and/or does not dogmatize Hollerith.; sent2 -> int3: if the clozapine is not agraphic either it is not a lurker or it does not dogmatize Hollerith or both.; sent9 -> int4: that the afferent is not a parachutist and it is not puerperal does not hold if it is Mancunian.; sent11 & sent15 -> int5: the macromolecule is choral.; int5 -> int6: something is choral.; int6 & sent3 -> int7: the incurable does traffic tablet and is removable.; int7 -> int8: the fact that the incurable does traffic tablet hold.; sent4 & int8 -> int9: the onionskin traffics tablet.; sent13 & int9 -> int10: the quay is not a baroque.; int10 -> int11: there exists something such that it is non-baroque.; int11 & sent21 -> int12: the fact that the lowboy does not whine and is unready is false.; int12 -> int13: there is something such that the fact that it does not whine and is unready does not hold.;
$hypothesis$ = the roundhead is mortal or does underquote or both. ; $context$ = sent1: the roundhead is a Orwell. sent2: something is not a lurker or it does not dogmatize Hollerith or both if it is not agraphic. sent3: if there is something such that that it is choral is correct the incurable does traffic tablet and it is removable. sent4: the onionskin traffics tablet if the incurable does traffics tablet. sent5: something is a kind of a lurker. sent6: the fact that something is not a lurker is right if it is not a lurker and/or it does not dogmatize Hollerith. sent7: the fact that the tuft dogmatizes Hollerith hold. sent8: something that does dogmatize Hollerith is mortal. sent9: that something is not a kind of a parachutist and it is not puerperal is false if it is Mancunian. sent10: that the roundhead is a hame or it is hypodermal or both hold. sent11: the macromolecule is choral if it is slow. sent12: if there exists something such that it does underquote then the roundhead is mortal. sent13: if the onionskin does traffic tablet the quay is not a kind of a baroque. sent14: if the clozapine is not a lurker then the fact that the roundhead is mortal or does underquote or both is false. sent15: the macromolecule is slow. sent16: the baseboard is unready. sent17: the clozapine is not agraphic if that that the afferent is not a parachutist and it is not puerperal hold does not hold. sent18: the eavesdropper is glossopharyngeal if it does dogmatize altarpiece. sent19: if something is a kind of a phobia it purses Michener. sent20: the roundhead is participial. sent21: if there is something such that it is not baroque the fact that the lowboy does not whine but it is unready does not hold. ; $proof$ = 
sent8 -> int1: if the roundhead dogmatizes Hollerith it is mortal.; __UNKNOWN__