the transplanter is Koranic.
sent1: the transplanter is Koranic if that the strophanthin is a kind of a acanthus and does not concretize twistwood is false. sent2: the uxoricide does not madden anthropology if there exists something such that it is a Chester. sent3: the thumb is a Chester. sent4: if the strophanthin does concretize twistwood then the transplanter is Koranic. sent5: that that the strophanthin is a acanthus but it does not concretize twistwood does not hold if something does not madden anthropology is not false.
sent3 -> int1: something is a Chester.; int1 & sent2 -> int2: the uxoricide does not madden anthropology.; int2 -> int3: there is something such that that it does madden anthropology is incorrect.; int3 & sent5 -> int4: the fact that the strophanthin is a acanthus but it does not concretize twistwood is wrong.; sent1 & int4 -> hypothesis;
$hypothesis$ = the transplanter is Koranic. ; $context$ = sent1: the transplanter is Koranic if that the strophanthin is a kind of a acanthus and does not concretize twistwood is false. sent2: the uxoricide does not madden anthropology if there exists something such that it is a Chester. sent3: the thumb is a Chester. sent4: if the strophanthin does concretize twistwood then the transplanter is Koranic. sent5: that that the strophanthin is a acanthus but it does not concretize twistwood does not hold if something does not madden anthropology is not false. ; $proof$ = 
sent3 -> int1: something is a Chester.; int1 & sent2 -> int2: the uxoricide does not madden anthropology.; int2 -> int3: there is something such that that it does madden anthropology is incorrect.; int3 & sent5 -> int4: the fact that the strophanthin is a acanthus but it does not concretize twistwood is wrong.; sent1 & int4 -> hypothesis; __PROVED__