that if the coot is apocryphal the dropper is a fourteen does not hold.
sent1: the failure is a kind of a fourteen. sent2: if the fact that something is apocryphal and it is a parturiency is not incorrect the dropper is a fourteen. sent3: if the dropper is apocryphal the coot is a fourteen. sent4: the coot is a parturiency. sent5: there is something such that that it is a fourteen and it is apocryphal is not incorrect.
void -> assump1: Let's assume that the coot is apocryphal.; assump1 & sent4 -> int1: the fact that the coot is apocryphal and it is a parturiency hold.; int1 -> int2: there is something such that it is apocryphal and it is a parturiency.; int2 & sent2 -> int3: the dropper is a fourteen.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the coot is apocryphal the dropper is a fourteen does not hold. ; $context$ = sent1: the failure is a kind of a fourteen. sent2: if the fact that something is apocryphal and it is a parturiency is not incorrect the dropper is a fourteen. sent3: if the dropper is apocryphal the coot is a fourteen. sent4: the coot is a parturiency. sent5: there is something such that that it is a fourteen and it is apocryphal is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the coot is apocryphal.; assump1 & sent4 -> int1: the fact that the coot is apocryphal and it is a parturiency hold.; int1 -> int2: there is something such that it is apocryphal and it is a parturiency.; int2 & sent2 -> int3: the dropper is a fourteen.; [assump1] & int3 -> hypothesis; __DISPROVED__