that the fact that the indumentum is communicative and not ostentatious does not hold if that the Ovral is not a kind of a pannikin is correct is incorrect.
sent1: if the fact that either something is not blastoporal or it meets beefwood or both does not hold it is ostentatious. sent2: the fact that the indumentum is communicative and is not ostentatious is wrong if the Ovral is ostentatious. sent3: if the Ovral is not a pannikin the fact that it is not blastoporal and/or meets beefwood is false.
void -> assump1: Let's assume that the Ovral is not a kind of a pannikin.; sent3 & assump1 -> int1: the fact that the Ovral is not blastoporal or it does meet beefwood or both does not hold.; sent1 -> int2: if that the Ovral is not blastoporal and/or it does meet beefwood is not correct the fact that it is ostentatious is not incorrect.; int1 & int2 -> int3: the Ovral is ostentatious.; int3 & sent2 -> int4: the fact that that the indumentum is communicative but it is not ostentatious is not false is incorrect.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the fact that the indumentum is communicative and not ostentatious does not hold if that the Ovral is not a kind of a pannikin is correct is incorrect. ; $context$ = sent1: if the fact that either something is not blastoporal or it meets beefwood or both does not hold it is ostentatious. sent2: the fact that the indumentum is communicative and is not ostentatious is wrong if the Ovral is ostentatious. sent3: if the Ovral is not a pannikin the fact that it is not blastoporal and/or meets beefwood is false. ; $proof$ = 
void -> assump1: Let's assume that the Ovral is not a kind of a pannikin.; sent3 & assump1 -> int1: the fact that the Ovral is not blastoporal or it does meet beefwood or both does not hold.; sent1 -> int2: if that the Ovral is not blastoporal and/or it does meet beefwood is not correct the fact that it is ostentatious is not incorrect.; int1 & int2 -> int3: the Ovral is ostentatious.; int3 & sent2 -> int4: the fact that that the indumentum is communicative but it is not ostentatious is not false is incorrect.; [assump1] & int4 -> hypothesis; __DISPROVED__