the Tai is not irreducible.
sent1: something does not fructify but it is airworthy if it does not nickel airlift. sent2: the contractor is not airworthy. sent3: the contractor is either a Newark or a quartervine or both if the workman is not a Newark. sent4: if the Ponca does not fructify but it is airworthy the contractor is not airworthy. sent5: the Ponca is a Newark. sent6: the workman is a neuroblast or it is airworthy or both if the fact that the Tai is not a neuroblast hold. sent7: if the contractor is a Newark then the Tai is airworthy. sent8: the Ponca fructifies. sent9: if the contractor is both not a Newark and a quartervine the Tai is irreducible. sent10: if the Ponca is a kind of a taps then it is a Cataflam and it does not nickel airlift. sent11: that the workman is not a neuroblast and it is not plausible is not true. sent12: the fact that the contractor is not irreducible is correct. sent13: if that the contractor is a kind of a quartervine is not incorrect the Tai is airworthy. sent14: the workman is not irreducible if that it is plausible is not false. sent15: if the Tai is a kind of airworthy thing that is irreducible the Ponca does not fructify. sent16: the workman is airworthy if the Tai is a Newark.
the Tai is irreducible.
sent1 -> int1: if the Ponca does not nickel airlift then it does not fructify and it is airworthy.;
$hypothesis$ = the Tai is not irreducible. ; $context$ = sent1: something does not fructify but it is airworthy if it does not nickel airlift. sent2: the contractor is not airworthy. sent3: the contractor is either a Newark or a quartervine or both if the workman is not a Newark. sent4: if the Ponca does not fructify but it is airworthy the contractor is not airworthy. sent5: the Ponca is a Newark. sent6: the workman is a neuroblast or it is airworthy or both if the fact that the Tai is not a neuroblast hold. sent7: if the contractor is a Newark then the Tai is airworthy. sent8: the Ponca fructifies. sent9: if the contractor is both not a Newark and a quartervine the Tai is irreducible. sent10: if the Ponca is a kind of a taps then it is a Cataflam and it does not nickel airlift. sent11: that the workman is not a neuroblast and it is not plausible is not true. sent12: the fact that the contractor is not irreducible is correct. sent13: if that the contractor is a kind of a quartervine is not incorrect the Tai is airworthy. sent14: the workman is not irreducible if that it is plausible is not false. sent15: if the Tai is a kind of airworthy thing that is irreducible the Ponca does not fructify. sent16: the workman is airworthy if the Tai is a Newark. ; $proof$ = 
__UNKNOWN__