if the psephologist is not a kind of a clipboard then the waxwork does not grade watercourse.
sent1: the waxwork grades watercourse if there is something such that that it is both not a throne and a stenopterygius does not hold. sent2: there exists something such that that it is non-anadromous thing that is a throne does not hold. sent3: if the snowplow is not a kind of a throne but it is a kind of a stenopterygius then it is anadromous. sent4: the aquamarine is non-anadromous. sent5: there is something such that the fact that it is both a throne and a stenopterygius does not hold. sent6: there is something such that it is not a throne and it is a stenopterygius. sent7: that the fact that either the aquamarine is not gravitational or it is anadromous or both is not right is right if the snowplow is not anadromous. sent8: the psephologist is a kind of a throne if that the snowplow is not anadromous or it is a clipboard or both is false. sent9: if something is a kind of a throne then the fact that the waxwork does not grade watercourse is right. sent10: that there exists something such that that it is not anadromous and grades watercourse is wrong hold. sent11: the waxwork grades watercourse. sent12: the aquamarine does not grade watercourse if there exists something such that that it is not gravitational and it is a stenopterygius is not correct. sent13: the snowplow is not non-anadromous if that it is a throne and is a stenopterygius is not false. sent14: if there exists something such that the fact that it is not a throne and it is a stenopterygius does not hold that the waxwork does not grade watercourse hold. sent15: the codpiece is anadromous. sent16: if the snowplow is anadromous then the aquamarine is not anadromous. sent17: the fact that the snowplow is a kind of a throne and it is a stenopterygius is not right. sent18: the snowplow does not throne. sent19: if the psephologist is not a clipboard then the waxwork does grade watercourse.
void -> assump2: Let's assume that the snowplow is not a throne and is a kind of a stenopterygius.; sent3 & assump2 -> int1: the snowplow is anadromous.; sent7 & int1 -> int2: that the aquamarine is not gravitational or it is anadromous or both does not hold.;
$hypothesis$ = if the psephologist is not a kind of a clipboard then the waxwork does not grade watercourse. ; $context$ = sent1: the waxwork grades watercourse if there is something such that that it is both not a throne and a stenopterygius does not hold. sent2: there exists something such that that it is non-anadromous thing that is a throne does not hold. sent3: if the snowplow is not a kind of a throne but it is a kind of a stenopterygius then it is anadromous. sent4: the aquamarine is non-anadromous. sent5: there is something such that the fact that it is both a throne and a stenopterygius does not hold. sent6: there is something such that it is not a throne and it is a stenopterygius. sent7: that the fact that either the aquamarine is not gravitational or it is anadromous or both is not right is right if the snowplow is not anadromous. sent8: the psephologist is a kind of a throne if that the snowplow is not anadromous or it is a clipboard or both is false. sent9: if something is a kind of a throne then the fact that the waxwork does not grade watercourse is right. sent10: that there exists something such that that it is not anadromous and grades watercourse is wrong hold. sent11: the waxwork grades watercourse. sent12: the aquamarine does not grade watercourse if there exists something such that that it is not gravitational and it is a stenopterygius is not correct. sent13: the snowplow is not non-anadromous if that it is a throne and is a stenopterygius is not false. sent14: if there exists something such that the fact that it is not a throne and it is a stenopterygius does not hold that the waxwork does not grade watercourse hold. sent15: the codpiece is anadromous. sent16: if the snowplow is anadromous then the aquamarine is not anadromous. sent17: the fact that the snowplow is a kind of a throne and it is a stenopterygius is not right. sent18: the snowplow does not throne. sent19: if the psephologist is not a clipboard then the waxwork does grade watercourse. ; $proof$ = 
void -> assump2: Let's assume that the snowplow is not a throne and is a kind of a stenopterygius.; sent3 & assump2 -> int1: the snowplow is anadromous.; sent7 & int1 -> int2: that the aquamarine is not gravitational or it is anadromous or both does not hold.; __UNKNOWN__