that the grab digitizes ethicism hold.
sent1: the arsenal is a Saxifraga if it does not edge shape-up. sent2: there exists something such that it does not digitize rhinolaryngology and does not lob Aesculus. sent3: the fact that the arsenal does not demoralize but it is unprintable is not right if there are non-unprintable things. sent4: if something is maladroit it is a kind of a entoproct. sent5: there exists something such that it is a Saxifraga. sent6: the grab does digitize ethicism or it is not a kind of a entoproct or both if there is something such that it does digitize homelessness. sent7: there exists something such that it does digitize ethicism. sent8: the precipitate does not digitize ethicism. sent9: the walkie-talkie is not a kind of a entoproct if something is not maladroit. sent10: if something is a kind of non-scorbutic thing that does not digitize homelessness the grab does digitize ethicism. sent11: if something is not a entoproct the fact that it digitizes ethicism and it is not scorbutic is false. sent12: something does not digitize ethicism if the fact that it digitizes homelessness and it is not a kind of a entoproct does not hold. sent13: if that something does not demoralize and is unprintable is false then it is a dowel. sent14: the walkie-talkie is maladroit or it does not digitize homelessness or both if there exists something such that it is a kind of a dowel. sent15: something is a entoproct if it is maladroit or it is not a kind of a dowel or both. sent16: if the bathtub does not digitize homelessness then the walkie-talkie is not scorbutic and it does not digitize homelessness. sent17: if the outsider does not edge bathtub and does not edge shape-up then the fact that the arsenal does not edge shape-up hold. sent18: there is something such that it is not unprintable. sent19: if something is a kind of a Saxifraga that is a dowel then the ark is non-maladroit. sent20: the bathtub either is maladroit or is not a kind of a dowel or both if there is something such that it is a kind of a Saxifraga. sent21: there exists something such that it is a kind of non-scorbutic thing that digitizes homelessness.
void -> assump1: Let's assume that the fact that that the bathtub is a forgery and does not digitize homelessness is not true is not wrong.; sent15 -> int1: if the bathtub is maladroit and/or it is not a dowel then it is a entoproct.; sent5 & sent20 -> int2: the bathtub is maladroit and/or it is not a dowel.; int1 & int2 -> int3: the bathtub is a kind of a entoproct.;
the fact that the grab does not digitize ethicism hold.
sent11 -> int4: if the walkie-talkie is not a entoproct the fact that it does digitize ethicism and is not scorbutic is not true.; sent13 -> int5: the arsenal is a dowel if the fact that it does not demoralize and is unprintable is incorrect.; sent18 & sent3 -> int6: the fact that the arsenal does not demoralize but it is unprintable does not hold.; int5 & int6 -> int7: the arsenal is a dowel.;
$hypothesis$ = that the grab digitizes ethicism hold. ; $context$ = sent1: the arsenal is a Saxifraga if it does not edge shape-up. sent2: there exists something such that it does not digitize rhinolaryngology and does not lob Aesculus. sent3: the fact that the arsenal does not demoralize but it is unprintable is not right if there are non-unprintable things. sent4: if something is maladroit it is a kind of a entoproct. sent5: there exists something such that it is a Saxifraga. sent6: the grab does digitize ethicism or it is not a kind of a entoproct or both if there is something such that it does digitize homelessness. sent7: there exists something such that it does digitize ethicism. sent8: the precipitate does not digitize ethicism. sent9: the walkie-talkie is not a kind of a entoproct if something is not maladroit. sent10: if something is a kind of non-scorbutic thing that does not digitize homelessness the grab does digitize ethicism. sent11: if something is not a entoproct the fact that it digitizes ethicism and it is not scorbutic is false. sent12: something does not digitize ethicism if the fact that it digitizes homelessness and it is not a kind of a entoproct does not hold. sent13: if that something does not demoralize and is unprintable is false then it is a dowel. sent14: the walkie-talkie is maladroit or it does not digitize homelessness or both if there exists something such that it is a kind of a dowel. sent15: something is a entoproct if it is maladroit or it is not a kind of a dowel or both. sent16: if the bathtub does not digitize homelessness then the walkie-talkie is not scorbutic and it does not digitize homelessness. sent17: if the outsider does not edge bathtub and does not edge shape-up then the fact that the arsenal does not edge shape-up hold. sent18: there is something such that it is not unprintable. sent19: if something is a kind of a Saxifraga that is a dowel then the ark is non-maladroit. sent20: the bathtub either is maladroit or is not a kind of a dowel or both if there is something such that it is a kind of a Saxifraga. sent21: there exists something such that it is a kind of non-scorbutic thing that digitizes homelessness. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the bathtub is a forgery and does not digitize homelessness is not true is not wrong.; sent15 -> int1: if the bathtub is maladroit and/or it is not a dowel then it is a entoproct.; sent5 & sent20 -> int2: the bathtub is maladroit and/or it is not a dowel.; int1 & int2 -> int3: the bathtub is a kind of a entoproct.; __UNKNOWN__