the lid does not digitize Wiener.
sent1: if the benzofuran is not a Neosho but a paddle then it is a kind of a feeling. sent2: that the lid digitizes Wiener and is a crinoid is true if that it does not feel is correct. sent3: everything is not a kind of a Neosho and it is a paddle. sent4: the benzofuran is not a feeling if something is not a punchball and is a slapper. sent5: the fact that the Sitter is a Anasa is true if the Wiener is not crinoid. sent6: if the Sitter is not a kind of a Harrod the fact that the lid does not digitize Wiener is correct. sent7: something is not a Harrod if the fact that it is a meningism or is a Anasa or both is not wrong.
void -> assump1: Let's assume that the Wiener is a kind of a crinoid.; sent3 -> int1: the benzofuran is not a Neosho and is a paddle.; sent1 & int1 -> int2: the benzofuran is a kind of a feeling.; sent7 -> int3: the Sitter is not a Harrod if it either is a meningism or is a kind of a Anasa or both.;
the lid does digitize Wiener.
$hypothesis$ = the lid does not digitize Wiener. ; $context$ = sent1: if the benzofuran is not a Neosho but a paddle then it is a kind of a feeling. sent2: that the lid digitizes Wiener and is a crinoid is true if that it does not feel is correct. sent3: everything is not a kind of a Neosho and it is a paddle. sent4: the benzofuran is not a feeling if something is not a punchball and is a slapper. sent5: the fact that the Sitter is a Anasa is true if the Wiener is not crinoid. sent6: if the Sitter is not a kind of a Harrod the fact that the lid does not digitize Wiener is correct. sent7: something is not a Harrod if the fact that it is a meningism or is a Anasa or both is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the Wiener is a kind of a crinoid.; sent3 -> int1: the benzofuran is not a Neosho and is a paddle.; sent1 & int1 -> int2: the benzofuran is a kind of a feeling.; sent7 -> int3: the Sitter is not a Harrod if it either is a meningism or is a kind of a Anasa or both.; __UNKNOWN__