the cantala is not cloze and/or it is not autumnal.
sent1: if the tyrannid is not cartographic then it stigmatizes Malathion and it recedes. sent2: if the strawman is not anastomotic then the antiproton either does not stigmatize carom or is non-mortuary or both. sent3: if that that something is not sensitive but it is thermodynamic is not false is not right it is not anastomotic. sent4: that the tyrannid is a tree-frog hold. sent5: the tyrannid is not thermodynamic if either the strawman does stigmatize carom or it is anastomotic or both. sent6: if the tyrannid concerts but it is not a kind of a Boleyn then it is not cartographic. sent7: that the suffragette does tipple and it does distinguish is false. sent8: that either something does not distinguish or it monologuizes or both is incorrect if that it does not tipple is right. sent9: if the fact that the suffragette does not distinguish and/or it monologuizes is wrong the phoebe does distinguish. sent10: that if there exists something such that it is not sensitive then the cantala is non-cloze or is not autumnal or both is not false. sent11: the strawman is not autumnal if that it is cloze and it does not stigmatize carom is wrong. sent12: the tyrannid is a concerted that is not a kind of a Boleyn if it is a kind of a tree-frog. sent13: the fact that the suffragette does tipple and does not distinguish does not hold. sent14: if the fact that that something is not valvular and is not a computer is right is not right then it does not tipple. sent15: if that the phoebe does excise sickroom but it is not acropetal is not correct then the suffragette is mortuary. sent16: something does stigmatize alum if it stigmatizes Malathion. sent17: the alum is not sensitive if the tyrannid is non-thermodynamic. sent18: if the strawman does stigmatize carom and is not mortuary then the cantala does not stigmatize carom. sent19: the suffragette is mortuary if the phoebe is acropetal. sent20: the fact that something is not cloze and/or it is not autumnal is incorrect if it does not stigmatize carom. sent21: the fact that something does excise gam and is not a monosyllable is not correct if that it does not stigmatize carom is not false. sent22: that the strawman is not sensitive but thermodynamic is not true if the phoebe does distinguish. sent23: if something does not stigmatize carom or is not mortuary or both then that it does not stigmatize carom is not incorrect. sent24: the suffragette is not mortuary if that it does tipple and does not distinguish is false.
void -> assump1: Let's assume that that that the strawman stigmatizes carom is incorrect hold.; sent24 & sent13 -> int1: the suffragette is not mortuary.;
the fact that the antiproton excises gam and is not a monosyllable is not true.
sent21 -> int2: if the antiproton does not stigmatize carom then that it does excise gam and is not a monosyllable does not hold.; sent23 -> int3: if the antiproton does not stigmatize carom or is not mortuary or both it does not stigmatize carom.;
$hypothesis$ = the cantala is not cloze and/or it is not autumnal. ; $context$ = sent1: if the tyrannid is not cartographic then it stigmatizes Malathion and it recedes. sent2: if the strawman is not anastomotic then the antiproton either does not stigmatize carom or is non-mortuary or both. sent3: if that that something is not sensitive but it is thermodynamic is not false is not right it is not anastomotic. sent4: that the tyrannid is a tree-frog hold. sent5: the tyrannid is not thermodynamic if either the strawman does stigmatize carom or it is anastomotic or both. sent6: if the tyrannid concerts but it is not a kind of a Boleyn then it is not cartographic. sent7: that the suffragette does tipple and it does distinguish is false. sent8: that either something does not distinguish or it monologuizes or both is incorrect if that it does not tipple is right. sent9: if the fact that the suffragette does not distinguish and/or it monologuizes is wrong the phoebe does distinguish. sent10: that if there exists something such that it is not sensitive then the cantala is non-cloze or is not autumnal or both is not false. sent11: the strawman is not autumnal if that it is cloze and it does not stigmatize carom is wrong. sent12: the tyrannid is a concerted that is not a kind of a Boleyn if it is a kind of a tree-frog. sent13: the fact that the suffragette does tipple and does not distinguish does not hold. sent14: if the fact that that something is not valvular and is not a computer is right is not right then it does not tipple. sent15: if that the phoebe does excise sickroom but it is not acropetal is not correct then the suffragette is mortuary. sent16: something does stigmatize alum if it stigmatizes Malathion. sent17: the alum is not sensitive if the tyrannid is non-thermodynamic. sent18: if the strawman does stigmatize carom and is not mortuary then the cantala does not stigmatize carom. sent19: the suffragette is mortuary if the phoebe is acropetal. sent20: the fact that something is not cloze and/or it is not autumnal is incorrect if it does not stigmatize carom. sent21: the fact that something does excise gam and is not a monosyllable is not correct if that it does not stigmatize carom is not false. sent22: that the strawman is not sensitive but thermodynamic is not true if the phoebe does distinguish. sent23: if something does not stigmatize carom or is not mortuary or both then that it does not stigmatize carom is not incorrect. sent24: the suffragette is not mortuary if that it does tipple and does not distinguish is false. ; $proof$ = 
void -> assump1: Let's assume that that that the strawman stigmatizes carom is incorrect hold.; sent24 & sent13 -> int1: the suffragette is not mortuary.; __UNKNOWN__