the midrib is not a kind of a nonmember.
sent1: the kaleidoscope is not cranial if there is something such that the fact that it is a kind of functioning thing that is anadromous does not hold. sent2: the midrib does not pare. sent3: the kaleidoscope is cranial if the saltpeter is a quarto. sent4: the kaleidoscope is not cranial if there is something such that it is nonfunctional. sent5: if the draper is political the sprigtail is not a kind of a financier. sent6: the midrib is not a quarto. sent7: the midrib is not a posteriority and is not a rabble. sent8: that if the kaleidoscope is cranial the midrib is a nonmember hold. sent9: if the kaleidoscope is not cranial then the midrib is not cranial and not a quarto. sent10: if something does scram Rajput and is not behavioristic then it is not sarcastic. sent11: if the kaleidoscope is not cranial then the midrib is not a quarto. sent12: there is something such that the fact that it is not nonfunctional and it is anadromous is not correct. sent13: the tonsure is natal. sent14: if the midrib is not cranial and is a quarto it is not a nonmember.
sent12 & sent1 -> int1: the kaleidoscope is not cranial.; int1 & sent9 -> int2: the midrib is not cranial and is not a kind of a quarto.;
that the midrib is a nonmember is correct.
sent13 -> int3: something is natal.;
$hypothesis$ = the midrib is not a kind of a nonmember. ; $context$ = sent1: the kaleidoscope is not cranial if there is something such that the fact that it is a kind of functioning thing that is anadromous does not hold. sent2: the midrib does not pare. sent3: the kaleidoscope is cranial if the saltpeter is a quarto. sent4: the kaleidoscope is not cranial if there is something such that it is nonfunctional. sent5: if the draper is political the sprigtail is not a kind of a financier. sent6: the midrib is not a quarto. sent7: the midrib is not a posteriority and is not a rabble. sent8: that if the kaleidoscope is cranial the midrib is a nonmember hold. sent9: if the kaleidoscope is not cranial then the midrib is not cranial and not a quarto. sent10: if something does scram Rajput and is not behavioristic then it is not sarcastic. sent11: if the kaleidoscope is not cranial then the midrib is not a quarto. sent12: there is something such that the fact that it is not nonfunctional and it is anadromous is not correct. sent13: the tonsure is natal. sent14: if the midrib is not cranial and is a quarto it is not a nonmember. ; $proof$ = 
sent12 & sent1 -> int1: the kaleidoscope is not cranial.; int1 & sent9 -> int2: the midrib is not cranial and is not a kind of a quarto.; __UNKNOWN__