the ATM is not a digitization and does not bar amygdalotomy.
sent1: something is not a kind of a asterisked if it is not an optimist. sent2: that the variorum is not Prakritic but it is wary does not hold if the trailhead is a kind of a secant. sent3: the pomade is not a limb if there exists something such that it is wary. sent4: something does bar amygdalotomy if it is Prakritic. sent5: the variorum is Prakritic if the pomade is an optimist. sent6: that the ATM is not a digitization and it does not bar amygdalotomy does not hold if the variorum is a limb. sent7: there exists something such that it is wary. sent8: the ATM is not a kind of a digitization and does not bar amygdalotomy if the variorum bar amygdalotomy.
sent1 -> int1: if the pomade is not an optimist it is not a asterisked.; void -> assump1: Let's assume that the pomade is not an optimist.; int1 & assump1 -> int2: the pomade is not a asterisked.; sent7 & sent3 -> int3: the pomade is not a limb.; sent4 -> int4: if that the variorum is Prakritic hold then it does bar amygdalotomy.;
the fact that the ATM is not a kind of a digitization and does not bar amygdalotomy is incorrect.
$hypothesis$ = the ATM is not a digitization and does not bar amygdalotomy. ; $context$ = sent1: something is not a kind of a asterisked if it is not an optimist. sent2: that the variorum is not Prakritic but it is wary does not hold if the trailhead is a kind of a secant. sent3: the pomade is not a limb if there exists something such that it is wary. sent4: something does bar amygdalotomy if it is Prakritic. sent5: the variorum is Prakritic if the pomade is an optimist. sent6: that the ATM is not a digitization and it does not bar amygdalotomy does not hold if the variorum is a limb. sent7: there exists something such that it is wary. sent8: the ATM is not a kind of a digitization and does not bar amygdalotomy if the variorum bar amygdalotomy. ; $proof$ = 
sent1 -> int1: if the pomade is not an optimist it is not a asterisked.; void -> assump1: Let's assume that the pomade is not an optimist.; int1 & assump1 -> int2: the pomade is not a asterisked.; sent7 & sent3 -> int3: the pomade is not a limb.; sent4 -> int4: if that the variorum is Prakritic hold then it does bar amygdalotomy.; __UNKNOWN__