the Curl is not deliverable.
sent1: the fact that the ferrite is not a autogamy and not deliverable is false if the fact that the bird does not rectify is correct. sent2: if something does rectify then it is a kind of a autogamy. sent3: the ferrite does rectify if something adjourns and does not decant. sent4: if something that is macrobiotic is not a kind of a Grus the Curl is not a deliverable. sent5: something does not squinch. sent6: there exists something such that it is not a kind of a deliverable. sent7: the emcee is a central and/or it is not a squinched if there is something such that it is not a squinched. sent8: there is something such that it does not decant. sent9: the Curl decants. sent10: something adjourns and does not decant. sent11: the fact that the boxer is a mechanization that is a kind of a Grus is not true if something is preprandial. sent12: if the ferrite is not a autogamy but it does rectify then the Curl is not non-deliverable. sent13: there exists something such that it is a autogamy and is a deliverable. sent14: the emcee is preprandial if it is not a squinched. sent15: if the emcee is central then it is preprandial. sent16: the bird is a kind of a deliverable that is not a Grus if the Curl is macrobiotic. sent17: if the fact that something is a kind of a mechanization and it is a Grus is false then it is not a Grus. sent18: the bird is a kind of a deliverable. sent19: if the fact that something is preprandial and/or it is not a kind of a mechanization is wrong it is not macrobiotic. sent20: the fact that something is macrobiotic and is operatic does not hold if it is not a Grus. sent21: if the ferrite is operatic the bird is both macrobiotic and not a Grus. sent22: that the bird is operatic and is a Grus does not hold if it is not macrobiotic.
sent10 & sent3 -> int1: the ferrite rectifies.; sent2 -> int2: if the ferrite does rectify it is a autogamy.; int1 & int2 -> int3: the fact that the ferrite is not a autogamy is not correct.;
the Curl is a kind of a deliverable.
sent20 -> int4: if the fact that the boxer is not a Grus is true the fact that it is macrobiotic and it is operatic is not correct.; sent17 -> int5: if the fact that the boxer is a kind of a mechanization and is a kind of a Grus does not hold the fact that it is not a Grus is correct.; sent5 & sent7 -> int6: the emcee is a central and/or it does not squinch.; int6 & sent15 & sent14 -> int7: the emcee is preprandial.; int7 -> int8: there is something such that that it is preprandial is not false.; int8 & sent11 -> int9: that the fact that the boxer is a mechanization and it is a Grus is not wrong is not correct.; int5 & int9 -> int10: the boxer is not a Grus.; int4 & int10 -> int11: that the boxer is macrobiotic and it is operatic is wrong.; int11 -> int12: there exists something such that the fact that it is macrobiotic and it is operatic is not correct.;
$hypothesis$ = the Curl is not deliverable. ; $context$ = sent1: the fact that the ferrite is not a autogamy and not deliverable is false if the fact that the bird does not rectify is correct. sent2: if something does rectify then it is a kind of a autogamy. sent3: the ferrite does rectify if something adjourns and does not decant. sent4: if something that is macrobiotic is not a kind of a Grus the Curl is not a deliverable. sent5: something does not squinch. sent6: there exists something such that it is not a kind of a deliverable. sent7: the emcee is a central and/or it is not a squinched if there is something such that it is not a squinched. sent8: there is something such that it does not decant. sent9: the Curl decants. sent10: something adjourns and does not decant. sent11: the fact that the boxer is a mechanization that is a kind of a Grus is not true if something is preprandial. sent12: if the ferrite is not a autogamy but it does rectify then the Curl is not non-deliverable. sent13: there exists something such that it is a autogamy and is a deliverable. sent14: the emcee is preprandial if it is not a squinched. sent15: if the emcee is central then it is preprandial. sent16: the bird is a kind of a deliverable that is not a Grus if the Curl is macrobiotic. sent17: if the fact that something is a kind of a mechanization and it is a Grus is false then it is not a Grus. sent18: the bird is a kind of a deliverable. sent19: if the fact that something is preprandial and/or it is not a kind of a mechanization is wrong it is not macrobiotic. sent20: the fact that something is macrobiotic and is operatic does not hold if it is not a Grus. sent21: if the ferrite is operatic the bird is both macrobiotic and not a Grus. sent22: that the bird is operatic and is a Grus does not hold if it is not macrobiotic. ; $proof$ = 
sent10 & sent3 -> int1: the ferrite rectifies.; sent2 -> int2: if the ferrite does rectify it is a autogamy.; int1 & int2 -> int3: the fact that the ferrite is not a autogamy is not correct.; __UNKNOWN__