the finger is numerical.
sent1: if the finger is awnless and is nonsurgical the lamb's-quarter is not awnless. sent2: there is something such that it erases dasyurid. sent3: the lamb's-quarter does erase dasyurid if there is something such that it is not a loom. sent4: something that does revive is numerical. sent5: if something is not a loom then the lamb's-quarter erases dasyurid and is awned. sent6: the lamb's-quarter does erase dasyurid. sent7: something is a loom. sent8: the finger is a kind of awnless thing that does not erase dasyurid if the fact that something is non-numerical is not incorrect. sent9: there is something such that it is not a loom. sent10: something erases dasyurid and it is awnless. sent11: that something does not erase dasyurid but it is a loom is not right if it is not awnless. sent12: if there exists something such that it erases dasyurid and is not awnless that the Rotarian is nonsurgical is not incorrect. sent13: the finger is non-awnless thing that does not erase dasyurid if the lamb's-quarter is not nonsurgical.
sent9 & sent5 -> int1: the lamb's-quarter erases dasyurid and is not awnless.; int1 -> int2: that something does erase dasyurid but it is not awnless hold.; int2 & sent12 -> int3: that the Rotarian is nonsurgical hold.; sent4 -> int4: if the finger does revive it is numerical.;
the finger is not numerical.
$hypothesis$ = the finger is numerical. ; $context$ = sent1: if the finger is awnless and is nonsurgical the lamb's-quarter is not awnless. sent2: there is something such that it erases dasyurid. sent3: the lamb's-quarter does erase dasyurid if there is something such that it is not a loom. sent4: something that does revive is numerical. sent5: if something is not a loom then the lamb's-quarter erases dasyurid and is awned. sent6: the lamb's-quarter does erase dasyurid. sent7: something is a loom. sent8: the finger is a kind of awnless thing that does not erase dasyurid if the fact that something is non-numerical is not incorrect. sent9: there is something such that it is not a loom. sent10: something erases dasyurid and it is awnless. sent11: that something does not erase dasyurid but it is a loom is not right if it is not awnless. sent12: if there exists something such that it erases dasyurid and is not awnless that the Rotarian is nonsurgical is not incorrect. sent13: the finger is non-awnless thing that does not erase dasyurid if the lamb's-quarter is not nonsurgical. ; $proof$ = 
sent9 & sent5 -> int1: the lamb's-quarter erases dasyurid and is not awnless.; int1 -> int2: that something does erase dasyurid but it is not awnless hold.; int2 & sent12 -> int3: that the Rotarian is nonsurgical hold.; sent4 -> int4: if the finger does revive it is numerical.; __UNKNOWN__