that the sporocarp is not satyric and is not a kind of a spelldown does not hold if the plaice is a kind of a positive.
sent1: there exists something such that it is not a positive. sent2: the sporocarp is not a kind of a spelldown. sent3: if the plaice is a positive then the fact that the sporocarp is a kind of non-satyric a spelldown is not right. sent4: that the plaice is not a spelldown but a meperidine does not hold. sent5: the fact that the plaice is satyric but it is not a kind of a spelldown does not hold if the sporocarp is positive. sent6: the fact that the sporocarp is satyric but it is not a spelldown is not correct. sent7: if something is a kind of non-positive thing that is not a spelldown the sporocarp is not satyric. sent8: the sporocarp is non-satyric. sent9: the fact that the scenarist is not a kind of a positive and it is not a kind of a screener is false if it does not axe venography. sent10: that that the sporocarp is non-satyric and is not non-positive is not right hold if the plaice is a spelldown. sent11: the plaice is not a kind of a spelldown if a positive is not satyric. sent12: if the sporocarp is satyric the plaice is not a kind of a spelldown and is not a positive. sent13: the reactor is a kind of a positive. sent14: there is something such that the fact that it is satyric does not hold. sent15: the sporocarp is not a positive and it is not a spelldown. sent16: if something that is not satyric is non-positive then the plaice is not a kind of a spelldown. sent17: if the fact that the scenarist is a kind of non-positive thing that is not a screener is false then the plaice is not a screener. sent18: the scenarist does not axe venography. sent19: the sporocarp is not a kind of a positive.
void -> assump2: Let's assume that the sporocarp is not satyric and not a spelldown.; assump2 -> int1: something is both not satyric and not a spelldown.;
there is something such that it is not a screener and it is not Assamese.
sent9 & sent18 -> int2: that the scenarist is not a kind of a positive and it is not a screener is incorrect.; sent17 & int2 -> int3: the plaice is not a screener.;
$hypothesis$ = that the sporocarp is not satyric and is not a kind of a spelldown does not hold if the plaice is a kind of a positive. ; $context$ = sent1: there exists something such that it is not a positive. sent2: the sporocarp is not a kind of a spelldown. sent3: if the plaice is a positive then the fact that the sporocarp is a kind of non-satyric a spelldown is not right. sent4: that the plaice is not a spelldown but a meperidine does not hold. sent5: the fact that the plaice is satyric but it is not a kind of a spelldown does not hold if the sporocarp is positive. sent6: the fact that the sporocarp is satyric but it is not a spelldown is not correct. sent7: if something is a kind of non-positive thing that is not a spelldown the sporocarp is not satyric. sent8: the sporocarp is non-satyric. sent9: the fact that the scenarist is not a kind of a positive and it is not a kind of a screener is false if it does not axe venography. sent10: that that the sporocarp is non-satyric and is not non-positive is not right hold if the plaice is a spelldown. sent11: the plaice is not a kind of a spelldown if a positive is not satyric. sent12: if the sporocarp is satyric the plaice is not a kind of a spelldown and is not a positive. sent13: the reactor is a kind of a positive. sent14: there is something such that the fact that it is satyric does not hold. sent15: the sporocarp is not a positive and it is not a spelldown. sent16: if something that is not satyric is non-positive then the plaice is not a kind of a spelldown. sent17: if the fact that the scenarist is a kind of non-positive thing that is not a screener is false then the plaice is not a screener. sent18: the scenarist does not axe venography. sent19: the sporocarp is not a kind of a positive. ; $proof$ = 
void -> assump2: Let's assume that the sporocarp is not satyric and not a spelldown.; assump2 -> int1: something is both not satyric and not a spelldown.; __UNKNOWN__