if the muscleman is not postmillennial the embalmment is a Howard and a chap.
sent1: if that the muscleman is a kind of non-postmillennial thing that does not chap does not hold then the ascolichen is not a kind of a mortmain. sent2: the embalmment is a kind of a Howard and it does chap if the muscleman is postmillennial. sent3: the fact that the embalmment is a mortmain that does not purify muscleman is not right if the muscleman is not postmillennial. sent4: if the muscleman is postmillennial then that the embalmment is not a mortmain and it does not purify muscleman is not true. sent5: something is non-shy thing that is a Howard if it is a kind of a desert. sent6: if the muscleman is not postmillennial that the embalmment is not a mortmain and it does not purify muscleman is wrong. sent7: if the muscleman is not postmillennial that the embalmment is not a mortmain but it does purify muscleman is incorrect. sent8: the fact that something is not postmillennial and is not a chap is wrong if it is a Howard. sent9: the embalmment is a kind of a Howard. sent10: the fact that the embalmment is not a mortmain but it purifies muscleman is incorrect. sent11: that the embalmment is a mortmain but it does not purify muscleman is not true.
void -> assump1: Let's assume that the muscleman is not postmillennial.; sent6 & assump1 -> int1: the fact that the embalmment is not a mortmain and it does not purify muscleman is false.;
the ascolichen is not a mortmain.
sent8 -> int2: if the muscleman is a Howard the fact that it is not postmillennial and it does not chap does not hold.; sent5 -> int3: the muscleman is not a shy and is a Howard if it deserts.;
$hypothesis$ = if the muscleman is not postmillennial the embalmment is a Howard and a chap. ; $context$ = sent1: if that the muscleman is a kind of non-postmillennial thing that does not chap does not hold then the ascolichen is not a kind of a mortmain. sent2: the embalmment is a kind of a Howard and it does chap if the muscleman is postmillennial. sent3: the fact that the embalmment is a mortmain that does not purify muscleman is not right if the muscleman is not postmillennial. sent4: if the muscleman is postmillennial then that the embalmment is not a mortmain and it does not purify muscleman is not true. sent5: something is non-shy thing that is a Howard if it is a kind of a desert. sent6: if the muscleman is not postmillennial that the embalmment is not a mortmain and it does not purify muscleman is wrong. sent7: if the muscleman is not postmillennial that the embalmment is not a mortmain but it does purify muscleman is incorrect. sent8: the fact that something is not postmillennial and is not a chap is wrong if it is a Howard. sent9: the embalmment is a kind of a Howard. sent10: the fact that the embalmment is not a mortmain but it purifies muscleman is incorrect. sent11: that the embalmment is a mortmain but it does not purify muscleman is not true. ; $proof$ = 
void -> assump1: Let's assume that the muscleman is not postmillennial.; sent6 & assump1 -> int1: the fact that the embalmment is not a mortmain and it does not purify muscleman is false.; __UNKNOWN__