the desmid chains rugged.
sent1: if something is both not a Maalox and a TPN it chains rugged. sent2: that the gardener is not a Maalox hold if there exists something such that the fact that it is both not a indweller and not a Namibian is not correct. sent3: the gardener is a Maalox if it is a TPN. sent4: the gardener is a TPN.
void -> assump1: Let's assume that the fact that that the desmid is not a indweller and not a Namibian is not wrong does not hold.; assump1 -> int1: there is something such that the fact that it is not a indweller and it is not a Namibian is not correct.; int1 & sent2 -> int2: the gardener is not a Maalox.; sent3 & sent4 -> int3: the gardener is a Maalox.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the desmid is both not a indweller and not Namibian.;
the middle chains rugged.
sent1 -> int6: if the middle is not a kind of a Maalox but it is a kind of a TPN it chains rugged.;
$hypothesis$ = the desmid chains rugged. ; $context$ = sent1: if something is both not a Maalox and a TPN it chains rugged. sent2: that the gardener is not a Maalox hold if there exists something such that the fact that it is both not a indweller and not a Namibian is not correct. sent3: the gardener is a Maalox if it is a TPN. sent4: the gardener is a TPN. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the desmid is not a indweller and not a Namibian is not wrong does not hold.; assump1 -> int1: there is something such that the fact that it is not a indweller and it is not a Namibian is not correct.; int1 & sent2 -> int2: the gardener is not a Maalox.; sent3 & sent4 -> int3: the gardener is a Maalox.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the desmid is both not a indweller and not Namibian.; __UNKNOWN__