the choc-ice is recreational.
sent1: there exists nothing such that it is vocative and it is lumbosacral. sent2: the choc-ice is hyoid. sent3: if that that the tripalmitin is non-valuable but it is a kind of a Luba is incorrect is not incorrect then that the Levantine is a kind of a Luba is not incorrect. sent4: if that something is not diadromous but it is diamantine is wrong then it is neuropsychological. sent5: if the fact that something does not incubate and is a kind of a newspapering is not true it is a kind of a default. sent6: the choc-ice is recreational if it is a vocative. sent7: the fact that the choc-ice is vocative a prime is incorrect. sent8: something is eyeless if that it is not a kind of a default and it does salt pistoleer is not true. sent9: if the fact that something is not a puckerbush but it results is wrong it is a kind of an ape. sent10: if that something is not a vocative but it is lumbosacral does not hold then it is recreational. sent11: that the bearberry does compartmentalize tillage is not false if that the Levantine is a Luba hold. sent12: something that does compartmentalize tillage is a hoatzin and does not discountenance flipper. sent13: the choc-ice fragments Prairial if the fact that it is not a kind of a girlishness and it compartmentalizes thermostat is false. sent14: if the fact that the drinker is not nonfissile but it is recreational is incorrect it discountenances flipper. sent15: if the donna is a kind of an australopithecine the fact that the tripalmitin is not a valuable but it is a kind of a Luba is wrong. sent16: something is recreational if it is vocative. sent17: that the almandite is not geometric and is lumbosacral does not hold.
sent10 -> int1: the choc-ice is recreational if the fact that it is both not a vocative and not non-lumbosacral is wrong.;
that the choc-ice is eyeless is correct if the fact that it is not a default and it does salt pistoleer is wrong.
sent8 -> hypothesis;
$hypothesis$ = the choc-ice is recreational. ; $context$ = sent1: there exists nothing such that it is vocative and it is lumbosacral. sent2: the choc-ice is hyoid. sent3: if that that the tripalmitin is non-valuable but it is a kind of a Luba is incorrect is not incorrect then that the Levantine is a kind of a Luba is not incorrect. sent4: if that something is not diadromous but it is diamantine is wrong then it is neuropsychological. sent5: if the fact that something does not incubate and is a kind of a newspapering is not true it is a kind of a default. sent6: the choc-ice is recreational if it is a vocative. sent7: the fact that the choc-ice is vocative a prime is incorrect. sent8: something is eyeless if that it is not a kind of a default and it does salt pistoleer is not true. sent9: if the fact that something is not a puckerbush but it results is wrong it is a kind of an ape. sent10: if that something is not a vocative but it is lumbosacral does not hold then it is recreational. sent11: that the bearberry does compartmentalize tillage is not false if that the Levantine is a Luba hold. sent12: something that does compartmentalize tillage is a hoatzin and does not discountenance flipper. sent13: the choc-ice fragments Prairial if the fact that it is not a kind of a girlishness and it compartmentalizes thermostat is false. sent14: if the fact that the drinker is not nonfissile but it is recreational is incorrect it discountenances flipper. sent15: if the donna is a kind of an australopithecine the fact that the tripalmitin is not a valuable but it is a kind of a Luba is wrong. sent16: something is recreational if it is vocative. sent17: that the almandite is not geometric and is lumbosacral does not hold. ; $proof$ = 
sent10 -> int1: the choc-ice is recreational if the fact that it is both not a vocative and not non-lumbosacral is wrong.; __UNKNOWN__