if the annalist is not a Onychophora then the monocyte clears.
sent1: if the annalist is not a Onychophora then that it is non-bony thing that decreases cartilage does not hold. sent2: if there exists something such that the fact that it is not bony and decreases cartilage does not hold the monocyte is not a kind of a mil. sent3: if the monocyte is a plethysmograph and not a mil then it is clear. sent4: the monocyte is a plethysmograph.
void -> assump1: Let's assume that the annalist is not a kind of a Onychophora.; sent1 & assump1 -> int1: the fact that the annalist is non-bony but it decreases cartilage is not true.; int1 -> int2: there is something such that that the fact that it is non-bony thing that does decrease cartilage is right is not right.; int2 & sent2 -> int3: the monocyte is not a mil.; int3 & sent4 -> int4: the monocyte is a kind of a plethysmograph that is not a mil.; int4 & sent3 -> int5: the monocyte is clear.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the annalist is not a Onychophora then the monocyte clears. ; $context$ = sent1: if the annalist is not a Onychophora then that it is non-bony thing that decreases cartilage does not hold. sent2: if there exists something such that the fact that it is not bony and decreases cartilage does not hold the monocyte is not a kind of a mil. sent3: if the monocyte is a plethysmograph and not a mil then it is clear. sent4: the monocyte is a plethysmograph. ; $proof$ = 
void -> assump1: Let's assume that the annalist is not a kind of a Onychophora.; sent1 & assump1 -> int1: the fact that the annalist is non-bony but it decreases cartilage is not true.; int1 -> int2: there is something such that that the fact that it is non-bony thing that does decrease cartilage is right is not right.; int2 & sent2 -> int3: the monocyte is not a mil.; int3 & sent4 -> int4: the monocyte is a kind of a plethysmograph that is not a mil.; int4 & sent3 -> int5: the monocyte is clear.; [assump1] & int5 -> hypothesis; __PROVED__