if the histiocyte is not a birthroot then that the siderocyte does not update nones but it speaks inquiry is incorrect.
sent1: the siderocyte does not update nones but it speaks inquiry. sent2: that the siderocyte does update nones and it speaks inquiry is wrong if the histiocyte is not a birthroot. sent3: the fact that the siderocyte updates nones and it does speak inquiry is incorrect if the histiocyte is not a doodad. sent4: that the histiocyte does not update nones and is a kind of a birthroot does not hold if the siderocyte is not a kind of a doodad. sent5: the siderocyte does not update nones but it does speak inquiry if the histiocyte is not a birthroot. sent6: the histiocyte is a birthroot if it is a doodad. sent7: that the fact that the siderocyte is a kind of a doodad and it does speak inquiry is not wrong is false if the histiocyte does not update nones. sent8: the fact that that the siderocyte does update nones and does speak inquiry is incorrect is right. sent9: the siderocyte does not update nones and does speak inquiry if the histiocyte is not a doodad. sent10: that something is a doodad that does not update nones is incorrect if the fact that it is a birthroot hold.
void -> assump2: Let's assume that the histiocyte is a kind of a doodad.; sent6 & assump2 -> int1: the histiocyte is a birthroot.; void -> assump1: Let's assume that the histiocyte is not a kind of a birthroot.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the histiocyte is not a kind of a doodad.;
that the siderocyte is not a doodad is correct.
sent10 -> int4: that that the siderocyte is a doodad and does not update nones is not incorrect does not hold if that it is a kind of a birthroot is true.;
$hypothesis$ = if the histiocyte is not a birthroot then that the siderocyte does not update nones but it speaks inquiry is incorrect. ; $context$ = sent1: the siderocyte does not update nones but it speaks inquiry. sent2: that the siderocyte does update nones and it speaks inquiry is wrong if the histiocyte is not a birthroot. sent3: the fact that the siderocyte updates nones and it does speak inquiry is incorrect if the histiocyte is not a doodad. sent4: that the histiocyte does not update nones and is a kind of a birthroot does not hold if the siderocyte is not a kind of a doodad. sent5: the siderocyte does not update nones but it does speak inquiry if the histiocyte is not a birthroot. sent6: the histiocyte is a birthroot if it is a doodad. sent7: that the fact that the siderocyte is a kind of a doodad and it does speak inquiry is not wrong is false if the histiocyte does not update nones. sent8: the fact that that the siderocyte does update nones and does speak inquiry is incorrect is right. sent9: the siderocyte does not update nones and does speak inquiry if the histiocyte is not a doodad. sent10: that something is a doodad that does not update nones is incorrect if the fact that it is a birthroot hold. ; $proof$ = 
void -> assump2: Let's assume that the histiocyte is a kind of a doodad.; sent6 & assump2 -> int1: the histiocyte is a birthroot.; void -> assump1: Let's assume that the histiocyte is not a kind of a birthroot.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the histiocyte is not a kind of a doodad.; __UNKNOWN__