the narc inserts Passerina.
sent1: the flibbertigibbet is not a kind of a Ritz. sent2: there exists something such that the fact that it is not a Ritz and it does not insert Passerina does not hold. sent3: that if something is not a mortarboard that it is not archegonial and is not a Monk is wrong is not wrong. sent4: the elements does not insert Passerina. sent5: that the hyperventilation is not a kind of a Ixia but it is stative is wrong. sent6: that something does not insert Passerina and is an exhortation is false if it is not a Ritz. sent7: that the cryocautery is not a Pipidae but it does stratify marasmus is incorrect if the monad is not inflexible. sent8: that the hyperventilation does not insert Passerina and it is not a Ixia is incorrect. sent9: the carborundum is phonogramic. sent10: if the cryocautery does not insert Passerina then the narc insert Passerina and it is a Ritz. sent11: if there is something such that the fact that that it is non-archegonial thing that is not a Monk hold is not true the carborundum is a Monk. sent12: everything is not a kind of a mortarboard. sent13: something is not a kind of a Ritz if that it is not a Pipidae and does stratify marasmus is not true. sent14: something is inflexible if it is phonogramic. sent15: there exists something such that that it is not stative and it inserts Passerina is false. sent16: there is nothing such that it is not a kind of a Ixia and it is not stative. sent17: the fact that the monad is not inflexible is not wrong if the carborundum is a kind of a Monk and is inflexible. sent18: the stamen is not a Ixia. sent19: the narc is a Ritz if the cryocautery does not insert Passerina.
sent16 -> int1: that the hyperventilation is both not a Ixia and not stative is wrong.; int1 -> int2: there is something such that the fact that it is not a Ixia and is not stative is wrong.;
the narc does not insert Passerina.
sent14 -> int3: if the carborundum is phonogramic then it is not flexible.; sent9 & int3 -> int4: the carborundum is inflexible.; sent3 -> int5: the fact that the laborer is non-archegonial thing that is not a Monk is not right if it is not a mortarboard.; sent12 -> int6: the laborer is not a kind of a mortarboard.; int5 & int6 -> int7: the fact that the laborer is not archegonial and it is not a Monk is not correct.; int7 -> int8: there exists nothing that is both non-archegonial and not a Monk.; int8 -> int9: the fact that the flibbertigibbet is non-archegonial thing that is not a Monk is wrong.; int9 -> int10: there exists something such that the fact that it is both not archegonial and not a Monk is not correct.; int10 & sent11 -> int11: the carborundum is a Monk.; int4 & int11 -> int12: the carborundum is a Monk and it is inflexible.; int12 & sent17 -> int13: that the monad is not inflexible is not wrong.; sent7 & int13 -> int14: the fact that the cryocautery is not a kind of a Pipidae but it does stratify marasmus is false.; sent13 -> int15: the cryocautery is not a Ritz if the fact that it is not a kind of a Pipidae and does stratify marasmus does not hold.; int14 & int15 -> int16: the cryocautery is not a kind of a Ritz.; sent6 -> int17: that the cryocautery does not insert Passerina and is a kind of an exhortation does not hold if it is not a kind of a Ritz.; int16 & int17 -> int18: that the cryocautery does not insert Passerina and is an exhortation is incorrect.;
$hypothesis$ = the narc inserts Passerina. ; $context$ = sent1: the flibbertigibbet is not a kind of a Ritz. sent2: there exists something such that the fact that it is not a Ritz and it does not insert Passerina does not hold. sent3: that if something is not a mortarboard that it is not archegonial and is not a Monk is wrong is not wrong. sent4: the elements does not insert Passerina. sent5: that the hyperventilation is not a kind of a Ixia but it is stative is wrong. sent6: that something does not insert Passerina and is an exhortation is false if it is not a Ritz. sent7: that the cryocautery is not a Pipidae but it does stratify marasmus is incorrect if the monad is not inflexible. sent8: that the hyperventilation does not insert Passerina and it is not a Ixia is incorrect. sent9: the carborundum is phonogramic. sent10: if the cryocautery does not insert Passerina then the narc insert Passerina and it is a Ritz. sent11: if there is something such that the fact that that it is non-archegonial thing that is not a Monk hold is not true the carborundum is a Monk. sent12: everything is not a kind of a mortarboard. sent13: something is not a kind of a Ritz if that it is not a Pipidae and does stratify marasmus is not true. sent14: something is inflexible if it is phonogramic. sent15: there exists something such that that it is not stative and it inserts Passerina is false. sent16: there is nothing such that it is not a kind of a Ixia and it is not stative. sent17: the fact that the monad is not inflexible is not wrong if the carborundum is a kind of a Monk and is inflexible. sent18: the stamen is not a Ixia. sent19: the narc is a Ritz if the cryocautery does not insert Passerina. ; $proof$ = 
sent16 -> int1: that the hyperventilation is both not a Ixia and not stative is wrong.; int1 -> int2: there is something such that the fact that it is not a Ixia and is not stative is wrong.; __UNKNOWN__