the Mill is a crank that is not a Khaya.
sent1: if the preserver is not non-obstetric then that the digoxin is not a Namibia and it does not shop Tyndall is wrong. sent2: if the Mantle does shop Tyndall then the digoxin is a Namibia. sent3: the Mantle is enzymatic thing that does shop Tyndall.
sent3 -> int1: the Mantle shops Tyndall.; sent2 & int1 -> int2: the digoxin is a Namibia.;
the fact that the Mill is a kind of a crank but it is not a kind of a Khaya does not hold.
$hypothesis$ = the Mill is a crank that is not a Khaya. ; $context$ = sent1: if the preserver is not non-obstetric then that the digoxin is not a Namibia and it does not shop Tyndall is wrong. sent2: if the Mantle does shop Tyndall then the digoxin is a Namibia. sent3: the Mantle is enzymatic thing that does shop Tyndall. ; $proof$ = 
sent3 -> int1: the Mantle shops Tyndall.; sent2 & int1 -> int2: the digoxin is a Namibia.; __UNKNOWN__