the maniness occurs.
sent1: if the pyrochemicalness happens the indirection does not occur and the Cromwellianness does not occur. sent2: that the ribbing thymine does not occur and the myalgicness does not occur does not hold if the victory happens. sent3: that the victory does not occur yields the ribbing thymine. sent4: that the cuneiform and the evasion occurs is not true if the fact that the sacralness does not occur is not wrong. sent5: if the zoologicalness does not occur the ribbing logicism happens. sent6: the Cromwellianness does not occur and the indirection happens if that the pyrochemicalness happens hold. sent7: the victory does not occur. sent8: that the quackery happens and/or the victory happens is caused by the non-myalgicness. sent9: if the cuneiformness does not occur the pyrochemicalness happens and the backstop occurs. sent10: if the cooing sidebar does not occur the quackery does not occur. sent11: the ribbing Catha and the non-myalgicness happens if the Cromwellianness does not occur. sent12: either that the whiplash occurs or that the sacralness does not occur or both is brought about by that the cart happens. sent13: the sacralness does not occur if either the whiplash or the sacralnessness or both occurs. sent14: the ribbing thymine occurs. sent15: the paternity does not occur if the fact that the immortalizing Panax does not occur or the navigationalness happens or both is not right. sent16: if the fact that the fact that the cuneiformness and the evasion occurs hold is wrong then the cuneiformness does not occur. sent17: that the non-maniness and the quackery happens prevents that the uplandness happens. sent18: that the cooing sidebar and the changeableness occurs is not right if that the maniness does not occur is not wrong. sent19: that the Cromwellianness does not occur brings about that both the victory and the ribbing Catha occurs. sent20: that the paternity does not occur brings about that both the carting and the perverting happens. sent21: if the fact that the cooing sidebar and the changeableness happens is incorrect the fact that the quackery does not occur is not false. sent22: the ribbing thymine occurs if the fact that the ribbing thymine does not occur and the myalgicness does not occur is incorrect.
void -> assump1: Let's assume that the maniness does not occur.; sent18 & assump1 -> int1: that the cooing sidebar and the changeableness happens is not right.; int1 & sent21 -> int2: the quackery does not occur.;
the uplandness does not occur.
$hypothesis$ = the maniness occurs. ; $context$ = sent1: if the pyrochemicalness happens the indirection does not occur and the Cromwellianness does not occur. sent2: that the ribbing thymine does not occur and the myalgicness does not occur does not hold if the victory happens. sent3: that the victory does not occur yields the ribbing thymine. sent4: that the cuneiform and the evasion occurs is not true if the fact that the sacralness does not occur is not wrong. sent5: if the zoologicalness does not occur the ribbing logicism happens. sent6: the Cromwellianness does not occur and the indirection happens if that the pyrochemicalness happens hold. sent7: the victory does not occur. sent8: that the quackery happens and/or the victory happens is caused by the non-myalgicness. sent9: if the cuneiformness does not occur the pyrochemicalness happens and the backstop occurs. sent10: if the cooing sidebar does not occur the quackery does not occur. sent11: the ribbing Catha and the non-myalgicness happens if the Cromwellianness does not occur. sent12: either that the whiplash occurs or that the sacralness does not occur or both is brought about by that the cart happens. sent13: the sacralness does not occur if either the whiplash or the sacralnessness or both occurs. sent14: the ribbing thymine occurs. sent15: the paternity does not occur if the fact that the immortalizing Panax does not occur or the navigationalness happens or both is not right. sent16: if the fact that the fact that the cuneiformness and the evasion occurs hold is wrong then the cuneiformness does not occur. sent17: that the non-maniness and the quackery happens prevents that the uplandness happens. sent18: that the cooing sidebar and the changeableness occurs is not right if that the maniness does not occur is not wrong. sent19: that the Cromwellianness does not occur brings about that both the victory and the ribbing Catha occurs. sent20: that the paternity does not occur brings about that both the carting and the perverting happens. sent21: if the fact that the cooing sidebar and the changeableness happens is incorrect the fact that the quackery does not occur is not false. sent22: the ribbing thymine occurs if the fact that the ribbing thymine does not occur and the myalgicness does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the maniness does not occur.; sent18 & assump1 -> int1: that the cooing sidebar and the changeableness happens is not right.; int1 & sent21 -> int2: the quackery does not occur.; __UNKNOWN__