there is something such that if it is gemmiferous then that it is not an antipathy and it does not drag dolichocephaly is not correct.
sent1: if something is blastemal that it is non-mild but not a facula is not true. sent2: the dioon is not a saki if that it is a Helleborus and not gemmiferous is not right. sent3: if the dioon is not a saki that it is not an antipathy and does not drag dolichocephaly does not hold.
void -> assump2: Let's assume that the dioon is a Helleborus and not gemmiferous.; assump2 -> int1: the dioon is not gemmiferous.; void -> assump1: Let's assume that the dioon is gemmiferous.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the dioon is a Helleborus but it is not gemmiferous is not right.; int3 & sent2 -> int4: the dioon is not a saki.; int4 & sent3 -> int5: the fact that the dioon is not an antipathy and it does not drag dolichocephaly does not hold.; [assump1] & int5 -> int6: if the dioon is gemmiferous then the fact that it is not an antipathy and it does not drag dolichocephaly does not hold.; int6 -> hypothesis;
there is something such that if it is blastemal the fact that it is non-mild thing that is not a kind of a facula does not hold.
sent1 -> int7: if the dioon is blastemal that it is not mild and it is not a kind of a facula does not hold.; int7 -> hypothesis;
$hypothesis$ = there is something such that if it is gemmiferous then that it is not an antipathy and it does not drag dolichocephaly is not correct. ; $context$ = sent1: if something is blastemal that it is non-mild but not a facula is not true. sent2: the dioon is not a saki if that it is a Helleborus and not gemmiferous is not right. sent3: if the dioon is not a saki that it is not an antipathy and does not drag dolichocephaly does not hold. ; $proof$ = 
void -> assump2: Let's assume that the dioon is a Helleborus and not gemmiferous.; assump2 -> int1: the dioon is not gemmiferous.; void -> assump1: Let's assume that the dioon is gemmiferous.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the dioon is a Helleborus but it is not gemmiferous is not right.; int3 & sent2 -> int4: the dioon is not a saki.; int4 & sent3 -> int5: the fact that the dioon is not an antipathy and it does not drag dolichocephaly does not hold.; [assump1] & int5 -> int6: if the dioon is gemmiferous then the fact that it is not an antipathy and it does not drag dolichocephaly does not hold.; int6 -> hypothesis; __PROVED__