if the fact that the admixture is a Ceroxylon is not false then the fact that either it is not a kind of a fontanelle or it does not shine or both is incorrect.
sent1: that the admixture is not a kind of a fontanelle and/or it does shine is not correct. sent2: the admixture either is a fontanelle or does not shine or both. sent3: if the admixture is not a fontanelle and/or it does not shine then it is not a Ceroxylon.
void -> assump1: Let's assume that the admixture is not a fontanelle and/or it does not shine.; sent3 & assump1 -> int1: the admixture is not a Ceroxylon.; void -> assump2: Let's assume that the admixture is a kind of a Ceroxylon.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the admixture is not a fontanelle or it does not shine or both is not correct.; [assump2] & int3 -> hypothesis;
$hypothesis$ = if the fact that the admixture is a Ceroxylon is not false then the fact that either it is not a kind of a fontanelle or it does not shine or both is incorrect. ; $context$ = sent1: that the admixture is not a kind of a fontanelle and/or it does shine is not correct. sent2: the admixture either is a fontanelle or does not shine or both. sent3: if the admixture is not a fontanelle and/or it does not shine then it is not a Ceroxylon. ; $proof$ = 
void -> assump1: Let's assume that the admixture is not a fontanelle and/or it does not shine.; sent3 & assump1 -> int1: the admixture is not a Ceroxylon.; void -> assump2: Let's assume that the admixture is a kind of a Ceroxylon.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the admixture is not a fontanelle or it does not shine or both is not correct.; [assump2] & int3 -> hypothesis; __PROVED__