the doubling is a presenter.
sent1: the geranium is not convertible if it is not falconine. sent2: the geranium is a presenter if the doubling does approach disruption. sent3: the geranium is not non-falconine if it is not a butterbur. sent4: the parturiency is not a kind of a Chechen. sent5: the bluegill is not falconine. sent6: if the geranium is not a presenter then it does not approach disruption. sent7: if something is not a convertible then it does approach disruption. sent8: the doubling is not a presenter if the geranium is a convertible and is not a presenter. sent9: the geranium is a presenter. sent10: if the fact that something does not regard Hamsun is not wrong then the narcoleptic does approach disruption. sent11: if that the parturiency is a herm but it is not atonalistic is not correct the annalist is not a butterbur. sent12: the doubling is a presenter if the geranium does approach disruption. sent13: the horsehair is not naval if it is not a decarboxylase. sent14: the geranium does approach parturiency. sent15: the fact that something does regard Hamsun and it is indigestible is false if it is not a butterbur. sent16: the planula does not regard Hamsun if the fact that the annalist regard Hamsun and is indigestible does not hold. sent17: the geranium is not convertible if it is not a kind of a presenter. sent18: something is a kind of a presenter if it does not approach disruption. sent19: the geranium is equitable. sent20: the restaurant is carboniferous if it is not a trandolapril. sent21: if something is not Chechen that it is a herm and it is not atonalistic is false.
sent7 -> int1: if the geranium is not a kind of a convertible it does approach disruption.;
the doubling is not a presenter.
sent15 -> int2: if the fact that the annalist is not a kind of a butterbur hold then that it regards Hamsun and it is indigestible is incorrect.; sent21 -> int3: that the parturiency is a herm but it is not atonalistic is false if that it is not Chechen is not false.; int3 & sent4 -> int4: the fact that the parturiency is a kind of a herm that is not atonalistic is false.; sent11 & int4 -> int5: the annalist is not a butterbur.; int2 & int5 -> int6: that the annalist does regard Hamsun and it is indigestible is not right.; sent16 & int6 -> int7: the planula does not regard Hamsun.; int7 -> int8: there exists something such that it does not regard Hamsun.; int8 & sent10 -> int9: the narcoleptic approaches disruption.;
$hypothesis$ = the doubling is a presenter. ; $context$ = sent1: the geranium is not convertible if it is not falconine. sent2: the geranium is a presenter if the doubling does approach disruption. sent3: the geranium is not non-falconine if it is not a butterbur. sent4: the parturiency is not a kind of a Chechen. sent5: the bluegill is not falconine. sent6: if the geranium is not a presenter then it does not approach disruption. sent7: if something is not a convertible then it does approach disruption. sent8: the doubling is not a presenter if the geranium is a convertible and is not a presenter. sent9: the geranium is a presenter. sent10: if the fact that something does not regard Hamsun is not wrong then the narcoleptic does approach disruption. sent11: if that the parturiency is a herm but it is not atonalistic is not correct the annalist is not a butterbur. sent12: the doubling is a presenter if the geranium does approach disruption. sent13: the horsehair is not naval if it is not a decarboxylase. sent14: the geranium does approach parturiency. sent15: the fact that something does regard Hamsun and it is indigestible is false if it is not a butterbur. sent16: the planula does not regard Hamsun if the fact that the annalist regard Hamsun and is indigestible does not hold. sent17: the geranium is not convertible if it is not a kind of a presenter. sent18: something is a kind of a presenter if it does not approach disruption. sent19: the geranium is equitable. sent20: the restaurant is carboniferous if it is not a trandolapril. sent21: if something is not Chechen that it is a herm and it is not atonalistic is false. ; $proof$ = 
sent7 -> int1: if the geranium is not a kind of a convertible it does approach disruption.; __UNKNOWN__