the snuffler is not a Kasai.
sent1: that the transmission invests headmistress and is not collagenous is wrong. sent2: if that the capstone does misgive transmission hold then that the snuffler is not a Kasai hold. sent3: if something does not invest vasectomy it does not invest denier. sent4: there is something such that the fact that it does invest vasectomy is correct. sent5: the fact that the capstone is a calculation that does not misgive transmission is incorrect if there is something such that it does not invest vasectomy. sent6: the fact that the capstone is a calculation that misgives transmission is not true if there is something such that it does not invest vasectomy. sent7: if the capstone is not a kind of a Kasai then the snuffler is a Kasai. sent8: the snuffler does not invest fanaticism. sent9: that the capstone is a calculation and does misgive transmission is wrong. sent10: the snuffler does not misgive transmission. sent11: if that the capstone is a kind of a calculation that does not misgive transmission is incorrect then the snuffler is not a Kasai. sent12: that the in-basket does not misgive transmission if the denier is a kind of an adenoid is right. sent13: the capstone is not a Kasai if the fact that that the snuffler is a calculation but it does not misgive transmission is not right hold.
the snuffler is a Kasai.
$hypothesis$ = the snuffler is not a Kasai. ; $context$ = sent1: that the transmission invests headmistress and is not collagenous is wrong. sent2: if that the capstone does misgive transmission hold then that the snuffler is not a Kasai hold. sent3: if something does not invest vasectomy it does not invest denier. sent4: there is something such that the fact that it does invest vasectomy is correct. sent5: the fact that the capstone is a calculation that does not misgive transmission is incorrect if there is something such that it does not invest vasectomy. sent6: the fact that the capstone is a calculation that misgives transmission is not true if there is something such that it does not invest vasectomy. sent7: if the capstone is not a kind of a Kasai then the snuffler is a Kasai. sent8: the snuffler does not invest fanaticism. sent9: that the capstone is a calculation and does misgive transmission is wrong. sent10: the snuffler does not misgive transmission. sent11: if that the capstone is a kind of a calculation that does not misgive transmission is incorrect then the snuffler is not a Kasai. sent12: that the in-basket does not misgive transmission if the denier is a kind of an adenoid is right. sent13: the capstone is not a Kasai if the fact that that the snuffler is a calculation but it does not misgive transmission is not right hold. ; $proof$ = 
__UNKNOWN__