the pocket does not nod nightrider.
sent1: if the copolymer is a gracelessness the archduchy is not anthracitic. sent2: there is something such that that it is a Morpheus and it contradistinguishes Mithraist is not true. sent3: the fact that the pocket is both anhydrous and not a pus does not hold if there are non-anthracitic things. sent4: if there exists something such that that it is a Morpheus and it contradistinguishes Mithraist is wrong the copolymer is a gracelessness.
sent2 & sent4 -> int1: the copolymer is a gracelessness.; int1 & sent1 -> int2: the fact that the archduchy is not anthracitic hold.; int2 -> int3: there exists something such that it is not anthracitic.; int3 & sent3 -> int4: the fact that the pocket is anhydrous and is not a pus is wrong.;
$hypothesis$ = the pocket does not nod nightrider. ; $context$ = sent1: if the copolymer is a gracelessness the archduchy is not anthracitic. sent2: there is something such that that it is a Morpheus and it contradistinguishes Mithraist is not true. sent3: the fact that the pocket is both anhydrous and not a pus does not hold if there are non-anthracitic things. sent4: if there exists something such that that it is a Morpheus and it contradistinguishes Mithraist is wrong the copolymer is a gracelessness. ; $proof$ = 
sent2 & sent4 -> int1: the copolymer is a gracelessness.; int1 & sent1 -> int2: the fact that the archduchy is not anthracitic hold.; int2 -> int3: there exists something such that it is not anthracitic.; int3 & sent3 -> int4: the fact that the pocket is anhydrous and is not a pus is wrong.; __UNKNOWN__