that there exists something such that if the fact that it is a tribune and it is not an incrustation does not hold it is not a kind of a Copehan does not hold.
sent1: the fact that the Junkers is not an incrustation is not incorrect. sent2: there exists something such that if it is genetics then it does not bloat. sent3: the fact that the micronutrient is a kind of a tribune and is a kind of an incrustation is incorrect. sent4: if the micronutrient is a Copehan then it is a tribune and it is not an incrustation.
void -> assump1: Let's assume that the fact that the micronutrient is a kind of a Copehan hold.; sent4 & assump1 -> int1: the micronutrient is a tribune and is not a kind of an incrustation.; void -> assump2: Let's assume that that the micronutrient is a kind of a tribune but it is not an incrustation is not true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the micronutrient is not a kind of a Copehan.; [assump2] & int3 -> int4: if that the micronutrient is a tribune but it is not a kind of an incrustation does not hold it is not a kind of a Copehan.; int4 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is a tribune and it is not an incrustation does not hold it is not a kind of a Copehan does not hold. ; $context$ = sent1: the fact that the Junkers is not an incrustation is not incorrect. sent2: there exists something such that if it is genetics then it does not bloat. sent3: the fact that the micronutrient is a kind of a tribune and is a kind of an incrustation is incorrect. sent4: if the micronutrient is a Copehan then it is a tribune and it is not an incrustation. ; $proof$ = 
void -> assump1: Let's assume that the fact that the micronutrient is a kind of a Copehan hold.; sent4 & assump1 -> int1: the micronutrient is a tribune and is not a kind of an incrustation.; void -> assump2: Let's assume that that the micronutrient is a kind of a tribune but it is not an incrustation is not true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the micronutrient is not a kind of a Copehan.; [assump2] & int3 -> int4: if that the micronutrient is a tribune but it is not a kind of an incrustation does not hold it is not a kind of a Copehan.; int4 -> hypothesis; __DISPROVED__