the babassu is a kind of tragic thing that is not a Tamarindus.
sent1: that the forestay names ceriman and it does pink stalking-horse does not hold if there is something such that it does not names ceriman. sent2: the propagator does not pink stalking-horse. sent3: if the babassu is austenitic then the propagator is not a Tamarindus. sent4: there is something such that the fact that it is a tirade and it is funerary is not correct. sent5: that the crisscross does decouple is not false. sent6: if that something is a tirade and it does pink stalking-horse is wrong then it is not funerary. sent7: if that the propagator is not austenitic and is a tirade is not right then the babassu is not a Tamarindus. sent8: the forestay names ceriman and is not austenitic. sent9: the fact that the forestay names ceriman and it is tragic does not hold if there is something such that it does not names ceriman. sent10: the forestay is not a Tamarindus. sent11: there exists something such that it is a Tamarindus. sent12: there exists something such that it does not decouple. sent13: there are non-funerary things. sent14: if the forestay is not specialistic the babassu does not decouple and is tragic. sent15: the babassu is not specialistic. sent16: the discus recognizes. sent17: if there is something such that the fact that it is a tirade and it is not funerary is wrong then the forestay does name ceriman. sent18: there is something such that it does not name ceriman. sent19: if the forestay does not name ceriman it does not decouple. sent20: the forestay is a kind of a gigolo. sent21: if something is not austenitic it is not funerary. sent22: that the propagator is both not austenitic and a tirade is false if that the discus is funerary is correct. sent23: that the discus is funerary is not wrong if there is something such that that it names ranging and does not torment patriarch is not true. sent24: if the forestay is funerary then the discus does not name ceriman. sent25: there exists something such that that it names ranging and it does not torment patriarch does not hold. sent26: if something does not pink stalking-horse it does not decouple. sent27: the forestay is interstitial.
sent18 & sent1 -> int1: that the forestay does name ceriman and does pink stalking-horse is incorrect.; sent25 & sent23 -> int2: the discus is funerary.; sent22 & int2 -> int3: the fact that the propagator is non-austenitic but it is a tirade does not hold.; sent7 & int3 -> int4: the babassu is not a Tamarindus.;
$hypothesis$ = the babassu is a kind of tragic thing that is not a Tamarindus. ; $context$ = sent1: that the forestay names ceriman and it does pink stalking-horse does not hold if there is something such that it does not names ceriman. sent2: the propagator does not pink stalking-horse. sent3: if the babassu is austenitic then the propagator is not a Tamarindus. sent4: there is something such that the fact that it is a tirade and it is funerary is not correct. sent5: that the crisscross does decouple is not false. sent6: if that something is a tirade and it does pink stalking-horse is wrong then it is not funerary. sent7: if that the propagator is not austenitic and is a tirade is not right then the babassu is not a Tamarindus. sent8: the forestay names ceriman and is not austenitic. sent9: the fact that the forestay names ceriman and it is tragic does not hold if there is something such that it does not names ceriman. sent10: the forestay is not a Tamarindus. sent11: there exists something such that it is a Tamarindus. sent12: there exists something such that it does not decouple. sent13: there are non-funerary things. sent14: if the forestay is not specialistic the babassu does not decouple and is tragic. sent15: the babassu is not specialistic. sent16: the discus recognizes. sent17: if there is something such that the fact that it is a tirade and it is not funerary is wrong then the forestay does name ceriman. sent18: there is something such that it does not name ceriman. sent19: if the forestay does not name ceriman it does not decouple. sent20: the forestay is a kind of a gigolo. sent21: if something is not austenitic it is not funerary. sent22: that the propagator is both not austenitic and a tirade is false if that the discus is funerary is correct. sent23: that the discus is funerary is not wrong if there is something such that that it names ranging and does not torment patriarch is not true. sent24: if the forestay is funerary then the discus does not name ceriman. sent25: there exists something such that that it names ranging and it does not torment patriarch does not hold. sent26: if something does not pink stalking-horse it does not decouple. sent27: the forestay is interstitial. ; $proof$ = 
sent18 & sent1 -> int1: that the forestay does name ceriman and does pink stalking-horse is incorrect.; sent25 & sent23 -> int2: the discus is funerary.; sent22 & int2 -> int3: the fact that the propagator is non-austenitic but it is a tirade does not hold.; sent7 & int3 -> int4: the babassu is not a Tamarindus.; __UNKNOWN__