the alto does not mismanage mortician.
sent1: something that is unangry is a kind of a Grenadian. sent2: the fact that the starship is not a Townsend but it does organize mason is wrong. sent3: everything does pulp and/or it is unangry. sent4: the fact that the starship is not a Townsend and it does not organize mason is not correct if the fact that the alto mismanages mortician is correct. sent5: if the fact that the starship organizes mason hold the capiz is not a Grenadian. sent6: something is a kind of a Grenadian if it is a pulp. sent7: if the fact that something is not a kind of a pulp and is Grenadian is not true then it mismanages mortician. sent8: if the alto is not Grenadian the fact that it does mismanage mortician and it is not a kind of a seasonal does not hold.
void -> assump1: Let's assume that the alto does mismanage mortician.; sent4 & assump1 -> int1: the fact that the starship is not a Townsend and does not organize mason is not correct.; sent3 -> int2: the capiz is a pulp or it is unangry or both.; sent6 -> int3: the capiz is a kind of a Grenadian if that it is a pulp hold.; sent1 -> int4: the capiz is a Grenadian if it is unangry.; int2 & int3 & int4 -> int5: the capiz is a kind of a Grenadian.;
the fact that the alto mismanages mortician is true.
sent7 -> int6: the alto does mismanage mortician if the fact that it is not a kind of a pulp and it is a Grenadian is not correct.;
$hypothesis$ = the alto does not mismanage mortician. ; $context$ = sent1: something that is unangry is a kind of a Grenadian. sent2: the fact that the starship is not a Townsend but it does organize mason is wrong. sent3: everything does pulp and/or it is unangry. sent4: the fact that the starship is not a Townsend and it does not organize mason is not correct if the fact that the alto mismanages mortician is correct. sent5: if the fact that the starship organizes mason hold the capiz is not a Grenadian. sent6: something is a kind of a Grenadian if it is a pulp. sent7: if the fact that something is not a kind of a pulp and is Grenadian is not true then it mismanages mortician. sent8: if the alto is not Grenadian the fact that it does mismanage mortician and it is not a kind of a seasonal does not hold. ; $proof$ = 
void -> assump1: Let's assume that the alto does mismanage mortician.; sent4 & assump1 -> int1: the fact that the starship is not a Townsend and does not organize mason is not correct.; sent3 -> int2: the capiz is a pulp or it is unangry or both.; sent6 -> int3: the capiz is a kind of a Grenadian if that it is a pulp hold.; sent1 -> int4: the capiz is a Grenadian if it is unangry.; int2 & int3 & int4 -> int5: the capiz is a kind of a Grenadian.; __UNKNOWN__