the legislativeness does not occur.
sent1: the manhandling cedar does not occur and the moonshining does not occur if the radioness occurs. sent2: if the snickersnee does not occur then the vamp and the honoring happens. sent3: the supernaturalness does not occur. sent4: the discountenancing yataghan occurs if the discountenancing SEAL happens and the Sunnah does not occur. sent5: if the prostitution happens then that the litigiousness occurs but the aftercare does not occur does not hold. sent6: the non-litigiousness causes the parametricness. sent7: that the fine occurs and the jitterbuging happens is brought about by that the recital does not occur. sent8: if the manhandling cedar does not occur and the moonshine does not occur then the recital does not occur. sent9: if the vamping happens then the radioness happens. sent10: that the tarnishing but not the funambulism happens is incorrect. sent11: the recital occurs. sent12: if that the litigiousness occurs and the aftercare does not occur is false then the litigiousness does not occur. sent13: if the parametricness happens then the discountenancing Erlang does not occur and the bibliographicness does not occur. sent14: that the jitterbuging does not occur is prevented by that the Sunnah does not occur. sent15: if the Sunnah but not the discountenancing SEAL occurs the supernatural happens. sent16: the Sunnah happens. sent17: the legislativeness does not occur if the jitterbuging happens and the recital occurs. sent18: if the fact that the latching pneumothorax does not occur or the aweing hazelnut does not occur or both is incorrect then that the snickersnee does not occur is right. sent19: the fact that either the latching pneumothorax does not occur or the aweing hazelnut does not occur or both is false if the discountenancing Erlang does not occur. sent20: that the jitterbug does not occur yields that the legislativeness occurs. sent21: if the latching paralytic does not occur then both the prostitution and the glutealness happens. sent22: if that the Sunnah but not the discountenancing SEAL occurs is false the jitterbug occurs. sent23: if the fact that the discountenancing yataghan occurs is correct then the latching paralytic does not occur.
void -> assump1: Let's assume that the Sunnah happens but the discountenancing SEAL does not occur.; sent15 & assump1 -> int1: the supernatural happens.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Sunnah happens but the discountenancing SEAL does not occur is false.; int3 & sent22 -> int4: the fact that the jitterbuging occurs is true.; int4 & sent11 -> int5: the jitterbuging occurs and the recital occurs.; int5 & sent17 -> hypothesis;
the legislativeness occurs.
$hypothesis$ = the legislativeness does not occur. ; $context$ = sent1: the manhandling cedar does not occur and the moonshining does not occur if the radioness occurs. sent2: if the snickersnee does not occur then the vamp and the honoring happens. sent3: the supernaturalness does not occur. sent4: the discountenancing yataghan occurs if the discountenancing SEAL happens and the Sunnah does not occur. sent5: if the prostitution happens then that the litigiousness occurs but the aftercare does not occur does not hold. sent6: the non-litigiousness causes the parametricness. sent7: that the fine occurs and the jitterbuging happens is brought about by that the recital does not occur. sent8: if the manhandling cedar does not occur and the moonshine does not occur then the recital does not occur. sent9: if the vamping happens then the radioness happens. sent10: that the tarnishing but not the funambulism happens is incorrect. sent11: the recital occurs. sent12: if that the litigiousness occurs and the aftercare does not occur is false then the litigiousness does not occur. sent13: if the parametricness happens then the discountenancing Erlang does not occur and the bibliographicness does not occur. sent14: that the jitterbuging does not occur is prevented by that the Sunnah does not occur. sent15: if the Sunnah but not the discountenancing SEAL occurs the supernatural happens. sent16: the Sunnah happens. sent17: the legislativeness does not occur if the jitterbuging happens and the recital occurs. sent18: if the fact that the latching pneumothorax does not occur or the aweing hazelnut does not occur or both is incorrect then that the snickersnee does not occur is right. sent19: the fact that either the latching pneumothorax does not occur or the aweing hazelnut does not occur or both is false if the discountenancing Erlang does not occur. sent20: that the jitterbug does not occur yields that the legislativeness occurs. sent21: if the latching paralytic does not occur then both the prostitution and the glutealness happens. sent22: if that the Sunnah but not the discountenancing SEAL occurs is false the jitterbug occurs. sent23: if the fact that the discountenancing yataghan occurs is correct then the latching paralytic does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Sunnah happens but the discountenancing SEAL does not occur.; sent15 & assump1 -> int1: the supernatural happens.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Sunnah happens but the discountenancing SEAL does not occur is false.; int3 & sent22 -> int4: the fact that the jitterbuging occurs is true.; int4 & sent11 -> int5: the jitterbuging occurs and the recital occurs.; int5 & sent17 -> hypothesis; __PROVED__