the kaoliang is not a Evert and it is not choragic.
sent1: the piranha does ebb requiescat if the eusporangium does invite cloud-cuckoo-land but it does not ebb requiescat. sent2: the fact that the trou-de-loup does not invite midwinter hold. sent3: there is something such that it is not a explicandum. sent4: the meteorite is not a kind of a carvedilol. sent5: if something is not a explicandum then the eusporangium is osteal and it does manacle eighteenth. sent6: the kaoliang is a carvedilol if that the objective is an allspice and is not a kind of a carvedilol is not correct. sent7: the kaoliang is an employable. sent8: that the anomaly does not ebb polysemant but it is a catastrophe if the fact that there is something such that it is not a grenade hold is not wrong. sent9: the fore-topmast is not a killing if the anomaly does not ebb polysemant and is a catastrophe. sent10: if there is something such that it is not a kind of a carvedilol the kaoliang is not a Evert and not choragic. sent11: if something ebbs requiescat the fact that it is non-overt thing that is an employable is false. sent12: if the fore-topmast is not a kind of a killing then the bedsitter is a hyaluronidase and it is a carvedilol. sent13: if the kaoliang is not a grenade it is a catastrophe. sent14: that something is not a Evert and it is not choragic is incorrect if that it is a carvedilol hold. sent15: if that something is not a Evert but it is a kind of a carvedilol is false then it is non-choragic. sent16: if the kaoliang is an employable it is not a grenade. sent17: if there is something such that it is not a kind of a carvedilol then the kaoliang is not choragic. sent18: that something is not a killing but it is an allspice is wrong if it does ebb polysemant. sent19: the fact that the legatee is not a kind of a hyaluronidase if there exists something such that the fact that it is not a kind of a killing and it is an allspice does not hold is not false. sent20: something does invite cloud-cuckoo-land but it does not ebb requiescat if it does manacle eighteenth. sent21: the fact that something is not a Evert but a carvedilol does not hold if it is not a hyaluronidase. sent22: if there is something such that that it is non-overt an employable does not hold the upset is not a kind of a grenade.
sent4 -> int1: there exists something such that it is not a kind of a carvedilol.; int1 & sent10 -> hypothesis;
the fact that the kaoliang is not a Evert and it is non-choragic does not hold.
sent14 -> int2: if the kaoliang is a carvedilol then that it is not a Evert and not choragic is false.; sent11 -> int3: if the piranha does ebb requiescat that it is not overt and it is an employable is not correct.; sent20 -> int4: the eusporangium invites cloud-cuckoo-land but it does not ebb requiescat if it does manacle eighteenth.; sent3 & sent5 -> int5: the eusporangium is a kind of osteal thing that manacles eighteenth.; int5 -> int6: the eusporangium does manacle eighteenth.; int4 & int6 -> int7: the eusporangium invites cloud-cuckoo-land but it does not ebb requiescat.; sent1 & int7 -> int8: the piranha ebbs requiescat.; int3 & int8 -> int9: that the piranha is not overt and is an employable is false.; int9 -> int10: there exists something such that that it is a kind of non-overt thing that is an employable is not right.; int10 & sent22 -> int11: the upset is not a grenade.; int11 -> int12: there is something such that it is not a grenade.; int12 & sent8 -> int13: the anomaly does not ebb polysemant and is a catastrophe.; sent9 & int13 -> int14: the fore-topmast does not kill.; sent12 & int14 -> int15: that the bedsitter is a hyaluronidase and is a carvedilol is true.; int15 -> int16: the bedsitter is a carvedilol.; int16 -> int17: something is a kind of a carvedilol.;
$hypothesis$ = the kaoliang is not a Evert and it is not choragic. ; $context$ = sent1: the piranha does ebb requiescat if the eusporangium does invite cloud-cuckoo-land but it does not ebb requiescat. sent2: the fact that the trou-de-loup does not invite midwinter hold. sent3: there is something such that it is not a explicandum. sent4: the meteorite is not a kind of a carvedilol. sent5: if something is not a explicandum then the eusporangium is osteal and it does manacle eighteenth. sent6: the kaoliang is a carvedilol if that the objective is an allspice and is not a kind of a carvedilol is not correct. sent7: the kaoliang is an employable. sent8: that the anomaly does not ebb polysemant but it is a catastrophe if the fact that there is something such that it is not a grenade hold is not wrong. sent9: the fore-topmast is not a killing if the anomaly does not ebb polysemant and is a catastrophe. sent10: if there is something such that it is not a kind of a carvedilol the kaoliang is not a Evert and not choragic. sent11: if something ebbs requiescat the fact that it is non-overt thing that is an employable is false. sent12: if the fore-topmast is not a kind of a killing then the bedsitter is a hyaluronidase and it is a carvedilol. sent13: if the kaoliang is not a grenade it is a catastrophe. sent14: that something is not a Evert and it is not choragic is incorrect if that it is a carvedilol hold. sent15: if that something is not a Evert but it is a kind of a carvedilol is false then it is non-choragic. sent16: if the kaoliang is an employable it is not a grenade. sent17: if there is something such that it is not a kind of a carvedilol then the kaoliang is not choragic. sent18: that something is not a killing but it is an allspice is wrong if it does ebb polysemant. sent19: the fact that the legatee is not a kind of a hyaluronidase if there exists something such that the fact that it is not a kind of a killing and it is an allspice does not hold is not false. sent20: something does invite cloud-cuckoo-land but it does not ebb requiescat if it does manacle eighteenth. sent21: the fact that something is not a Evert but a carvedilol does not hold if it is not a hyaluronidase. sent22: if there is something such that that it is non-overt an employable does not hold the upset is not a kind of a grenade. ; $proof$ = 
sent4 -> int1: there exists something such that it is not a kind of a carvedilol.; int1 & sent10 -> hypothesis; __PROVED__