that there is something such that if it is a antipodes it is logistics is not correct.
sent1: there is something such that if it condenses it is a ectomorphy. sent2: the sunlight is a peroneus. sent3: if the Bourbon is not mucinous then it is not a antipodes. sent4: if something is mucinous it is logistics. sent5: if the Bourbon does not overreach capsicum it is not a antipodes.
void -> assump1: Let's assume that that the Bourbon is not mucinous hold.; sent3 & assump1 -> int1: the Bourbon is not a antipodes.; void -> assump2: Let's assume that the Bourbon is a antipodes.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Bourbon is mucinous.; sent4 -> int4: if the Bourbon is mucinous then it is logistics.; int3 & int4 -> int5: the Bourbon is logistics.; [assump2] & int5 -> int6: if the Bourbon is a antipodes it is logistics.; int6 -> hypothesis;
$hypothesis$ = that there is something such that if it is a antipodes it is logistics is not correct. ; $context$ = sent1: there is something such that if it condenses it is a ectomorphy. sent2: the sunlight is a peroneus. sent3: if the Bourbon is not mucinous then it is not a antipodes. sent4: if something is mucinous it is logistics. sent5: if the Bourbon does not overreach capsicum it is not a antipodes. ; $proof$ = 
void -> assump1: Let's assume that that the Bourbon is not mucinous hold.; sent3 & assump1 -> int1: the Bourbon is not a antipodes.; void -> assump2: Let's assume that the Bourbon is a antipodes.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Bourbon is mucinous.; sent4 -> int4: if the Bourbon is mucinous then it is logistics.; int3 & int4 -> int5: the Bourbon is logistics.; [assump2] & int5 -> int6: if the Bourbon is a antipodes it is logistics.; int6 -> hypothesis; __DISPROVED__