the durmast is not a kind of a Tuvalu.
sent1: the fact that something is planographic and does assail endive is not correct if it is not a consummation. sent2: there exists something such that it is bacchantic thing that is not a kind of a jnd. sent3: if the durmast is not a how-do-you-do it does chance grade and it is a Tuvalu. sent4: something is proprietary if it knocks. sent5: the durmast is not a kind of a consummation. sent6: if something is not a amenability then it is a coachwhip. sent7: the cartridge is bacchantic if it is not a attenuator. sent8: if the ironworker does not assail endive then it sunders. sent9: the grade is planographic. sent10: if something that does chance grade is a kind of a consummation then that the lionet does not sunder hold. sent11: if the durmast does not chance grade then that it is planographic is true. sent12: if that the foundation does chance itinerary and is not a kind of a how-do-you-do is not correct then it is a kind of a endotoxin. sent13: The grade does not chance durmast. sent14: if something does not assail fullback then it is a kind of a leftovers and it is a weatherglass. sent15: that the geordie is bacchantic thing that is not psycholinguistic is false. sent16: if something is not a Tom it does assail fullback. sent17: if the lionet is a how-do-you-do then the durmast sunders. sent18: if there is something such that it is a kind of a how-do-you-do that is not evolutionary then the lionet does not sunder. sent19: if that something is planographic and it assails endive is incorrect then it does not assails endive. sent20: something sparges and it is evolutionary if it does not chance grade. sent21: if something that does sunder does sparge then it is not a Tuvalu. sent22: the lionet does sparge. sent23: the ironworker does not assail endive if a bacchantic thing is not a jnd. sent24: that the lionet is a kind of a consummation that is not planographic is not true if the fact that the ironworker does not assail endive is not wrong. sent25: the lionet is vocational if the fact that that it is a consummation and it is not planographic is correct does not hold. sent26: there exists something such that it does sparge and is not a consummation. sent27: the durmast does not chance grade. sent28: the durmast does not assail endive if something that does chance grade does sunder.
sent2 & sent23 -> int1: the ironworker does not assail endive.; int1 & sent24 -> int2: that the lionet is a consummation and not planographic is not true.; int2 & sent25 -> int3: the fact that the lionet is vocational is not incorrect.; sent20 -> int4: the durmast sparges and is evolutionary if that it does not chance grade hold.; int4 & sent27 -> int5: the durmast does sparge and it is evolutionary.; int5 -> int6: the durmast does sparge.; sent21 -> int7: the durmast is not a Tuvalu if it does sunder and sparges.;
there is something such that it squashes and is not a kind of a Crotalus.
sent19 -> int8: if that the lionet is planographic and it assails endive does not hold the fact that it does not assails endive hold.; sent1 -> int9: if the lionet is not a consummation that it is planographic and it does assail endive does not hold.;
$hypothesis$ = the durmast is not a kind of a Tuvalu. ; $context$ = sent1: the fact that something is planographic and does assail endive is not correct if it is not a consummation. sent2: there exists something such that it is bacchantic thing that is not a kind of a jnd. sent3: if the durmast is not a how-do-you-do it does chance grade and it is a Tuvalu. sent4: something is proprietary if it knocks. sent5: the durmast is not a kind of a consummation. sent6: if something is not a amenability then it is a coachwhip. sent7: the cartridge is bacchantic if it is not a attenuator. sent8: if the ironworker does not assail endive then it sunders. sent9: the grade is planographic. sent10: if something that does chance grade is a kind of a consummation then that the lionet does not sunder hold. sent11: if the durmast does not chance grade then that it is planographic is true. sent12: if that the foundation does chance itinerary and is not a kind of a how-do-you-do is not correct then it is a kind of a endotoxin. sent13: The grade does not chance durmast. sent14: if something does not assail fullback then it is a kind of a leftovers and it is a weatherglass. sent15: that the geordie is bacchantic thing that is not psycholinguistic is false. sent16: if something is not a Tom it does assail fullback. sent17: if the lionet is a how-do-you-do then the durmast sunders. sent18: if there is something such that it is a kind of a how-do-you-do that is not evolutionary then the lionet does not sunder. sent19: if that something is planographic and it assails endive is incorrect then it does not assails endive. sent20: something sparges and it is evolutionary if it does not chance grade. sent21: if something that does sunder does sparge then it is not a Tuvalu. sent22: the lionet does sparge. sent23: the ironworker does not assail endive if a bacchantic thing is not a jnd. sent24: that the lionet is a kind of a consummation that is not planographic is not true if the fact that the ironworker does not assail endive is not wrong. sent25: the lionet is vocational if the fact that that it is a consummation and it is not planographic is correct does not hold. sent26: there exists something such that it does sparge and is not a consummation. sent27: the durmast does not chance grade. sent28: the durmast does not assail endive if something that does chance grade does sunder. ; $proof$ = 
sent2 & sent23 -> int1: the ironworker does not assail endive.; int1 & sent24 -> int2: that the lionet is a consummation and not planographic is not true.; int2 & sent25 -> int3: the fact that the lionet is vocational is not incorrect.; sent20 -> int4: the durmast sparges and is evolutionary if that it does not chance grade hold.; int4 & sent27 -> int5: the durmast does sparge and it is evolutionary.; int5 -> int6: the durmast does sparge.; sent21 -> int7: the durmast is not a Tuvalu if it does sunder and sparges.; __UNKNOWN__