the assignee salivates.
sent1: the warrantee is not zonal. sent2: that the assignee is not zonal but it is a hyponatremia is incorrect. sent3: the assignee is not postmillennial. sent4: the Clydesdale does not salivate if it is not a Doberman. sent5: the assignee is a kind of non-zonal a hyponatremia if it does not salivate.
void -> assump1: Let's assume that that the assignee does not salivate is not incorrect.; sent5 & assump1 -> int1: the assignee is not zonal and is a hyponatremia.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the assignee salivates. ; $context$ = sent1: the warrantee is not zonal. sent2: that the assignee is not zonal but it is a hyponatremia is incorrect. sent3: the assignee is not postmillennial. sent4: the Clydesdale does not salivate if it is not a Doberman. sent5: the assignee is a kind of non-zonal a hyponatremia if it does not salivate. ; $proof$ = 
void -> assump1: Let's assume that that the assignee does not salivate is not incorrect.; sent5 & assump1 -> int1: the assignee is not zonal and is a hyponatremia.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__