the grist does administer succade.
sent1: the grist is Chian. sent2: that the grist is a kind of non-katabatic thing that does not administer succade does not hold. sent3: that the noose is not Chian but it is katabatic is wrong. sent4: the Idahoan is not off-line. sent5: the fellah is not off-line. sent6: the grist is selfish. sent7: there is nothing such that it is Chian and is not katabatic. sent8: the fact that the noose is Chian and non-katabatic is not right. sent9: there exists nothing that is both not Chian and katabatic. sent10: the noose does not administer succade if that the grist is not off-line and is not Chian is not true. sent11: the grist is not morphologic. sent12: something sublimates if it is not a kind of a denotatum. sent13: the grist is not arteriosclerotic. sent14: that the noose is not off-line and is not katabatic does not hold. sent15: there exists nothing such that it does not quieten counterfactuality and it is not a kind of a microcyte. sent16: the noose does not administer succade if the fact that that the grist is both not katabatic and not Chian is not right is correct. sent17: something is a garboard if it is not a kind of a salesgirl. sent18: there exists nothing such that it is both not Chian and not katabatic. sent19: the fact that the grist is not Chian and it is not off-line is not correct. sent20: something does administer succade if it is non-off-line.
sent18 -> int1: that the noose is a kind of non-Chian thing that is not katabatic does not hold.; sent20 -> int2: the grist does administer succade if it is not off-line.;
$hypothesis$ = the grist does administer succade. ; $context$ = sent1: the grist is Chian. sent2: that the grist is a kind of non-katabatic thing that does not administer succade does not hold. sent3: that the noose is not Chian but it is katabatic is wrong. sent4: the Idahoan is not off-line. sent5: the fellah is not off-line. sent6: the grist is selfish. sent7: there is nothing such that it is Chian and is not katabatic. sent8: the fact that the noose is Chian and non-katabatic is not right. sent9: there exists nothing that is both not Chian and katabatic. sent10: the noose does not administer succade if that the grist is not off-line and is not Chian is not true. sent11: the grist is not morphologic. sent12: something sublimates if it is not a kind of a denotatum. sent13: the grist is not arteriosclerotic. sent14: that the noose is not off-line and is not katabatic does not hold. sent15: there exists nothing such that it does not quieten counterfactuality and it is not a kind of a microcyte. sent16: the noose does not administer succade if the fact that that the grist is both not katabatic and not Chian is not right is correct. sent17: something is a garboard if it is not a kind of a salesgirl. sent18: there exists nothing such that it is both not Chian and not katabatic. sent19: the fact that the grist is not Chian and it is not off-line is not correct. sent20: something does administer succade if it is non-off-line. ; $proof$ = 
sent18 -> int1: that the noose is a kind of non-Chian thing that is not katabatic does not hold.; sent20 -> int2: the grist does administer succade if it is not off-line.; __UNKNOWN__