either the falchion is expressible or it is not a station or both.
sent1: if that the cellophane does destain director but it is not a glow is not right then the bow-wow is not a erythroderma. sent2: something that is not a kind of a erythroderma is both not a damselfish and not inexpressible. sent3: something is not a milligram if that it inverts and is digestive does not hold. sent4: the poker is not a debacle. sent5: the falchion is not inexpressible and/or is not a station if the bow-wow is not inexpressible. sent6: that the poker does invert and it is a digestive is incorrect if it is not a debacle. sent7: the fact that the bow-wow is a milligram and is not a damselfish is not right. sent8: the minesweeper does plumb if the cellophane does destain director but it is not a glow.
void -> assump1: Let's assume that the cellophane does destain director and is not a glow.; sent8 & assump1 -> int1: the minesweeper plumbs.; sent3 -> int2: that the poker is not a kind of a milligram is not incorrect if that it inverts and is a digestive is not right.; sent6 & sent4 -> int3: the fact that the poker does invert and it is a digestive does not hold.; int2 & int3 -> int4: the poker is not a milligram.; sent2 -> int5: the bow-wow is not a damselfish and is not inexpressible if it is not a erythroderma.;
$hypothesis$ = either the falchion is expressible or it is not a station or both. ; $context$ = sent1: if that the cellophane does destain director but it is not a glow is not right then the bow-wow is not a erythroderma. sent2: something that is not a kind of a erythroderma is both not a damselfish and not inexpressible. sent3: something is not a milligram if that it inverts and is digestive does not hold. sent4: the poker is not a debacle. sent5: the falchion is not inexpressible and/or is not a station if the bow-wow is not inexpressible. sent6: that the poker does invert and it is a digestive is incorrect if it is not a debacle. sent7: the fact that the bow-wow is a milligram and is not a damselfish is not right. sent8: the minesweeper does plumb if the cellophane does destain director but it is not a glow. ; $proof$ = 
void -> assump1: Let's assume that the cellophane does destain director and is not a glow.; sent8 & assump1 -> int1: the minesweeper plumbs.; sent3 -> int2: that the poker is not a kind of a milligram is not incorrect if that it inverts and is a digestive is not right.; sent6 & sent4 -> int3: the fact that the poker does invert and it is a digestive does not hold.; int2 & int3 -> int4: the poker is not a milligram.; sent2 -> int5: the bow-wow is not a damselfish and is not inexpressible if it is not a erythroderma.; __UNKNOWN__