the nudnik is both not non-epiphyseal and not hematopoietic.
sent1: the nudnik is epiphyseal and not hematopoietic if that the kernite does rick is not correct. sent2: the launce is not nomothetic. sent3: the launce is not epiphyseal. sent4: that the launce is a Porphyrula but it is not idiographic is wrong if it is not nomothetic. sent5: the launce is a kind of a Porphyrula that is not idiographic if there exists something such that it does rick. sent6: the fact that something is epiphyseal and not hematopoietic is not correct if it does rick. sent7: if something is a Porphyrula then it ricks. sent8: there exists something such that it does service abort.
void -> assump1: Let's assume that the kernite does rick.; assump1 -> int1: there is something such that it does rick.; int1 & sent5 -> int2: the launce is a Porphyrula but it is not idiographic.; sent4 & sent2 -> int3: the fact that the launce is a Porphyrula but it is not idiographic is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the kernite does not rick.; int5 & sent1 -> hypothesis;
that the nudnik is both not non-epiphyseal and non-hematopoietic is not correct.
sent6 -> int6: if that the nudnik ricks is not wrong that it is epiphyseal but not hematopoietic is not true.; sent7 -> int7: if the nudnik is a Porphyrula it does rick.;
$hypothesis$ = the nudnik is both not non-epiphyseal and not hematopoietic. ; $context$ = sent1: the nudnik is epiphyseal and not hematopoietic if that the kernite does rick is not correct. sent2: the launce is not nomothetic. sent3: the launce is not epiphyseal. sent4: that the launce is a Porphyrula but it is not idiographic is wrong if it is not nomothetic. sent5: the launce is a kind of a Porphyrula that is not idiographic if there exists something such that it does rick. sent6: the fact that something is epiphyseal and not hematopoietic is not correct if it does rick. sent7: if something is a Porphyrula then it ricks. sent8: there exists something such that it does service abort. ; $proof$ = 
void -> assump1: Let's assume that the kernite does rick.; assump1 -> int1: there is something such that it does rick.; int1 & sent5 -> int2: the launce is a Porphyrula but it is not idiographic.; sent4 & sent2 -> int3: the fact that the launce is a Porphyrula but it is not idiographic is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the kernite does not rick.; int5 & sent1 -> hypothesis; __PROVED__