the histiocyte is not araneidal.
sent1: the grass is not anaesthetic. sent2: that something is inedible and is not a paramountcy does not hold if it does not accrete. sent3: that the histiocyte does not fit and it does not accrete is incorrect. sent4: there exists something such that the fact that it does not accrete and it is an emancipation is false. sent5: that the histiocyte is a kind of a paramountcy but it is not anaesthetic is not right. sent6: if the fact that the histiocyte is inedible but it is not a paramountcy is not true it is not araneidal. sent7: the grass is a fitting if there is something such that the fact that it does not accrete and is not an emancipation does not hold. sent8: if the grass is not anaesthetic then it is not a fitting.
void -> assump1: Let's assume that the fact that the histiocyte does not accrete and is not an emancipation is incorrect.; assump1 -> int1: there exists something such that the fact that it does not accrete and it is not an emancipation is incorrect.; int1 & sent7 -> int2: the grass does fit.; sent8 & sent1 -> int3: that the grass is not fitting is right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the histiocyte does not accrete and it is not an emancipation.; int5 -> int6: that the histiocyte does not accrete hold.; sent2 -> int7: the fact that the histiocyte is inedible but it is not a paramountcy is wrong if it does not accrete.; int6 & int7 -> int8: that the histiocyte is inedible but it is not a kind of a paramountcy is incorrect.; int8 & sent6 -> hypothesis;
$hypothesis$ = the histiocyte is not araneidal. ; $context$ = sent1: the grass is not anaesthetic. sent2: that something is inedible and is not a paramountcy does not hold if it does not accrete. sent3: that the histiocyte does not fit and it does not accrete is incorrect. sent4: there exists something such that the fact that it does not accrete and it is an emancipation is false. sent5: that the histiocyte is a kind of a paramountcy but it is not anaesthetic is not right. sent6: if the fact that the histiocyte is inedible but it is not a paramountcy is not true it is not araneidal. sent7: the grass is a fitting if there is something such that the fact that it does not accrete and is not an emancipation does not hold. sent8: if the grass is not anaesthetic then it is not a fitting. ; $proof$ = 
void -> assump1: Let's assume that the fact that the histiocyte does not accrete and is not an emancipation is incorrect.; assump1 -> int1: there exists something such that the fact that it does not accrete and it is not an emancipation is incorrect.; int1 & sent7 -> int2: the grass does fit.; sent8 & sent1 -> int3: that the grass is not fitting is right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the histiocyte does not accrete and it is not an emancipation.; int5 -> int6: that the histiocyte does not accrete hold.; sent2 -> int7: the fact that the histiocyte is inedible but it is not a paramountcy is wrong if it does not accrete.; int6 & int7 -> int8: that the histiocyte is inedible but it is not a kind of a paramountcy is incorrect.; int8 & sent6 -> hypothesis; __PROVED__