the liverwurst is not tractive.
sent1: if something is contestable it corresponds anther. sent2: if the exhalation is unpalatable the fact that the liverwurst does not correspond angiocardiogram but it does correspond anther does not hold. sent3: the Moonie corresponds anther if that it is contestable is right. sent4: that the Moonie is not a one-ninth but it is contestable is incorrect if it is not unpalatable. sent5: if the conception is a PIJ then the liverwurst is not non-tractive. sent6: something is not a PIJ and is not unpalatable if it is not a sputnik. sent7: if the fact that the conception is not a PIJ and it does not correspond anther is not correct then the liverwurst is tractive. sent8: that that the conception is a PIJ that does not correspond anther is correct is wrong if the Moonie does correspond anther. sent9: the conception is contestable if that it is not a kind of a PIJ and does not correspond anther is incorrect. sent10: the fact that that the conception is a PIJ and does not correspond anther is not wrong is not right. sent11: something is aromatic but it is non-analogous. sent12: the liverwurst is contestable. sent13: the conception does correspond anther and does correspond angiocardiogram if it does not antisepticize haberdashery. sent14: the conception is not a sputnik. sent15: if that something does not correspond angiocardiogram but it does correspond anther is wrong then it does not correspond anther. sent16: the fact that the conception is not a kind of a PIJ and it does not correspond anther is wrong if the Moonie does correspond anther. sent17: the Moonie is not unpalatable. sent18: the fact that the Moonie is not a one-ninth but it is contestable is false. sent19: if something does not correspond anther the fact that it is tractive and is not a PIJ does not hold. sent20: if something is a PIJ then the fact that it is not a becomingness and not contestable does not hold. sent21: something does correspond anther if that it is not a one-ninth and is not contestable is false. sent22: if the Moonie is not unpalatable then that it is both not a one-ninth and not contestable does not hold.
sent21 -> int1: if that the Moonie is both not a one-ninth and not contestable is incorrect it does correspond anther.; sent22 & sent17 -> int2: the fact that the Moonie is not a kind of a one-ninth and is not contestable does not hold.; int1 & int2 -> int3: the Moonie does correspond anther.; int3 & sent16 -> int4: the fact that the conception is not a kind of a PIJ and does not correspond anther does not hold.; int4 & sent7 -> hypothesis;
the liverwurst is non-tractive.
sent6 -> int5: if the conception is not a kind of a sputnik then it is not a kind of a PIJ and it is not unpalatable.; int5 & sent14 -> int6: the conception is not a PIJ and is not unpalatable.; int6 -> int7: the conception is not a PIJ.;
$hypothesis$ = the liverwurst is not tractive. ; $context$ = sent1: if something is contestable it corresponds anther. sent2: if the exhalation is unpalatable the fact that the liverwurst does not correspond angiocardiogram but it does correspond anther does not hold. sent3: the Moonie corresponds anther if that it is contestable is right. sent4: that the Moonie is not a one-ninth but it is contestable is incorrect if it is not unpalatable. sent5: if the conception is a PIJ then the liverwurst is not non-tractive. sent6: something is not a PIJ and is not unpalatable if it is not a sputnik. sent7: if the fact that the conception is not a PIJ and it does not correspond anther is not correct then the liverwurst is tractive. sent8: that that the conception is a PIJ that does not correspond anther is correct is wrong if the Moonie does correspond anther. sent9: the conception is contestable if that it is not a kind of a PIJ and does not correspond anther is incorrect. sent10: the fact that that the conception is a PIJ and does not correspond anther is not wrong is not right. sent11: something is aromatic but it is non-analogous. sent12: the liverwurst is contestable. sent13: the conception does correspond anther and does correspond angiocardiogram if it does not antisepticize haberdashery. sent14: the conception is not a sputnik. sent15: if that something does not correspond angiocardiogram but it does correspond anther is wrong then it does not correspond anther. sent16: the fact that the conception is not a kind of a PIJ and it does not correspond anther is wrong if the Moonie does correspond anther. sent17: the Moonie is not unpalatable. sent18: the fact that the Moonie is not a one-ninth but it is contestable is false. sent19: if something does not correspond anther the fact that it is tractive and is not a PIJ does not hold. sent20: if something is a PIJ then the fact that it is not a becomingness and not contestable does not hold. sent21: something does correspond anther if that it is not a one-ninth and is not contestable is false. sent22: if the Moonie is not unpalatable then that it is both not a one-ninth and not contestable does not hold. ; $proof$ = 
sent21 -> int1: if that the Moonie is both not a one-ninth and not contestable is incorrect it does correspond anther.; sent22 & sent17 -> int2: the fact that the Moonie is not a kind of a one-ninth and is not contestable does not hold.; int1 & int2 -> int3: the Moonie does correspond anther.; int3 & sent16 -> int4: the fact that the conception is not a kind of a PIJ and does not correspond anther does not hold.; int4 & sent7 -> hypothesis; __DISPROVED__