the seventy-eight is not Ceylonese.
sent1: there exists something such that it does not sight polemonium. sent2: the bibliographer is not non-Aeschylean if the progesterone is not non-aerial. sent3: that the progesterone is an aerial is correct if there exists something such that it does educate. sent4: something is equatorial if it is a kind of a sarcoptid. sent5: if something curvets backdrop then it is chromosomal. sent6: if the backdrop does not educate and it does not groove inhabitant then the keelboat educate. sent7: the backdrop is perinatal. sent8: if something that does not sight polemonium is a Devi the bibliographer is a leprechaun. sent9: something does not sight polemonium and is a Devi. sent10: if the keelboat is not non-perinatal and does sight herpetologist then that the seventy-eight is not Ceylonese is true. sent11: there is something such that it sights polemonium and it is a Devi. sent12: if that the progesterone is not professorial but equatorial is not correct then the keelboat does sight herpetologist. sent13: there is something such that it is a Devi. sent14: if that something is not a sarcoptid and is not Ceylonese does not hold it is Ceylonese. sent15: if something is Aeschylean and perinatal the seventy-eight is professorial. sent16: the keelboat is perinatal if the fact that the backdrop is perinatal hold. sent17: something is non-equatorial thing that is professorial. sent18: the backdrop does not educate and does not groove inhabitant. sent19: if something is a kind of equatorial thing that does not sight herpetologist it is not a sarcoptid. sent20: if the progesterone is not an equatorial the keelboat does sight herpetologist. sent21: that something is a kind of a sarcoptid is correct if it is a leprechaun. sent22: that the progesterone is not professorial but it is equatorial does not hold if the fact that the bibliographer is equatorial is correct. sent23: if something is professorial then that it is an equatorial and it does not sight herpetologist is wrong.
sent9 & sent8 -> int1: the bibliographer is a kind of a leprechaun.; sent21 -> int2: the bibliographer is a sarcoptid if it is a leprechaun.; int1 & int2 -> int3: the bibliographer is a kind of a sarcoptid.; sent4 -> int4: the bibliographer is a kind of an equatorial if it is a sarcoptid.; int3 & int4 -> int5: the bibliographer is an equatorial.; int5 & sent22 -> int6: the fact that the progesterone is non-professorial thing that is an equatorial is wrong.; int6 & sent12 -> int7: the fact that the keelboat sights herpetologist is not false.; sent16 & sent7 -> int8: the keelboat is perinatal.; int7 & int8 -> int9: the keelboat is a kind of perinatal thing that does sight herpetologist.; int9 & sent10 -> hypothesis;
the seventy-eight is Ceylonese.
sent14 -> int10: the seventy-eight is Ceylonese if that it is not a kind of a sarcoptid and it is not Ceylonese is wrong.; sent6 & sent18 -> int11: the keelboat does educate.; int11 -> int12: there exists something such that it educates.; sent3 & int12 -> int13: the progesterone is a kind of an aerial.; int13 & sent2 -> int14: the bibliographer is Aeschylean.; sent23 -> int15: the fact that the seventy-eight is an equatorial but it does not sight herpetologist is not true if it is professorial.;
$hypothesis$ = the seventy-eight is not Ceylonese. ; $context$ = sent1: there exists something such that it does not sight polemonium. sent2: the bibliographer is not non-Aeschylean if the progesterone is not non-aerial. sent3: that the progesterone is an aerial is correct if there exists something such that it does educate. sent4: something is equatorial if it is a kind of a sarcoptid. sent5: if something curvets backdrop then it is chromosomal. sent6: if the backdrop does not educate and it does not groove inhabitant then the keelboat educate. sent7: the backdrop is perinatal. sent8: if something that does not sight polemonium is a Devi the bibliographer is a leprechaun. sent9: something does not sight polemonium and is a Devi. sent10: if the keelboat is not non-perinatal and does sight herpetologist then that the seventy-eight is not Ceylonese is true. sent11: there is something such that it sights polemonium and it is a Devi. sent12: if that the progesterone is not professorial but equatorial is not correct then the keelboat does sight herpetologist. sent13: there is something such that it is a Devi. sent14: if that something is not a sarcoptid and is not Ceylonese does not hold it is Ceylonese. sent15: if something is Aeschylean and perinatal the seventy-eight is professorial. sent16: the keelboat is perinatal if the fact that the backdrop is perinatal hold. sent17: something is non-equatorial thing that is professorial. sent18: the backdrop does not educate and does not groove inhabitant. sent19: if something is a kind of equatorial thing that does not sight herpetologist it is not a sarcoptid. sent20: if the progesterone is not an equatorial the keelboat does sight herpetologist. sent21: that something is a kind of a sarcoptid is correct if it is a leprechaun. sent22: that the progesterone is not professorial but it is equatorial does not hold if the fact that the bibliographer is equatorial is correct. sent23: if something is professorial then that it is an equatorial and it does not sight herpetologist is wrong. ; $proof$ = 
sent9 & sent8 -> int1: the bibliographer is a kind of a leprechaun.; sent21 -> int2: the bibliographer is a sarcoptid if it is a leprechaun.; int1 & int2 -> int3: the bibliographer is a kind of a sarcoptid.; sent4 -> int4: the bibliographer is a kind of an equatorial if it is a sarcoptid.; int3 & int4 -> int5: the bibliographer is an equatorial.; int5 & sent22 -> int6: the fact that the progesterone is non-professorial thing that is an equatorial is wrong.; int6 & sent12 -> int7: the fact that the keelboat sights herpetologist is not false.; sent16 & sent7 -> int8: the keelboat is perinatal.; int7 & int8 -> int9: the keelboat is a kind of perinatal thing that does sight herpetologist.; int9 & sent10 -> hypothesis; __PROVED__