the B is noncurrent and is not hypovolemic.
sent1: that the B is not a current but it is hypovolemic does not hold. sent2: if the B is current thing that is not hypovolemic then the sage is not a Ptilocrinus. sent3: if that something does not bestir Tellus and/or does underlie does not hold then it is not a capillary. sent4: something is not an overhead but it does bestir mammoth if it is not a kind of a capillary. sent5: the sage is not a Ptilocrinus if the B is both not current and hypovolemic. sent6: something does complete and is a archegonium if it is not a Ptilocrinus. sent7: there exists nothing that does not bestir Tellus or does underlie or both. sent8: the sage is a Ptilocrinus and it is completed. sent9: everything is an antibacterial. sent10: if the B is not a kind of a current and is not hypovolemic the sage is not a Ptilocrinus.
void -> assump1: Let's assume that the B is not a current and it is not hypovolemic.; sent10 & assump1 -> int1: the sage is not a Ptilocrinus.; sent8 -> int2: the sage is a Ptilocrinus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the B is not a current and not hypovolemic.
sent9 -> int4: the kunzite is antibacterial.;
$hypothesis$ = the B is noncurrent and is not hypovolemic. ; $context$ = sent1: that the B is not a current but it is hypovolemic does not hold. sent2: if the B is current thing that is not hypovolemic then the sage is not a Ptilocrinus. sent3: if that something does not bestir Tellus and/or does underlie does not hold then it is not a capillary. sent4: something is not an overhead but it does bestir mammoth if it is not a kind of a capillary. sent5: the sage is not a Ptilocrinus if the B is both not current and hypovolemic. sent6: something does complete and is a archegonium if it is not a Ptilocrinus. sent7: there exists nothing that does not bestir Tellus or does underlie or both. sent8: the sage is a Ptilocrinus and it is completed. sent9: everything is an antibacterial. sent10: if the B is not a kind of a current and is not hypovolemic the sage is not a Ptilocrinus. ; $proof$ = 
void -> assump1: Let's assume that the B is not a current and it is not hypovolemic.; sent10 & assump1 -> int1: the sage is not a Ptilocrinus.; sent8 -> int2: the sage is a Ptilocrinus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__