the poundage occurs.
sent1: the anaclinalness does not occur. sent2: the trailing does not occur. sent3: the blueing Dahna occurs. sent4: the submersible does not occur and the slalom does not occur if the blueing lodging happens. sent5: if that the blueing Honegger occurs or the trailing happens or both is false the Antiguan does not occur. sent6: that the blueing Dahna occurs and the bastinadoing does not occur is triggered by that the Jesuiticalness happens. sent7: the whoopee does not occur. sent8: the blueing Dahna occurs if the Jesuiticalness happens. sent9: that the tone does not occur but the memorializing allergist occurs is caused by the non-submersibleness. sent10: that the whoopee does not occur is triggered by the non-Antiguanness. sent11: the fact that the quarrelling and the cardiacness occurs does not hold if the depreciating does not occur. sent12: the powdering Lamb happens. sent13: if the toning does not occur and the memorializing allergist happens the reticulateness does not occur. sent14: the fact that the rumpling does not occur hold if that the cutness or the rumba or both happens is false. sent15: that not the gastroscopy but the ludo happens is brought about by that the daydreaming does not occur. sent16: the quarrelling does not occur. sent17: that the trailing does not occur is brought about by that the Jesuiticalness does not occur. sent18: if the Jesuiticalness does not occur then that the blueing Honegger happens and/or the trailing occurs is not correct. sent19: the cardiacness occurs. sent20: if the quarrelling does not occur the bastinado happens and the cardiacness occurs. sent21: the depreciating does not occur if the reticulateness does not occur. sent22: that the poundage does not occur but the Jesuiticalness happens is caused by that the trailing occurs. sent23: not the whoopee but the poundage happens if the Antiguanness does not occur. sent24: the whoopee does not occur if that the quarrelling happens and the cardiacness happens is wrong. sent25: if the quarrelling does not occur then the fact that the cardiacness happens hold.
void -> assump1: Let's assume that the Jesuiticalness occurs.; sent6 & assump1 -> int1: the blueing Dahna but not the bastinado happens.; int1 -> int2: the bastinadoing does not occur.; sent20 & sent16 -> int3: the bastinadoing happens and the cardiacness happens.; int3 -> int4: the bastinado occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Jesuiticalness does not occur.; int6 & sent18 -> int7: that either the blueing Honegger happens or the trailing happens or both is not true.; int7 & sent5 -> int8: the fact that the Antiguan does not occur is true.; int8 & sent23 -> int9: that the whoopee does not occur but the poundage happens is not false.; int9 -> hypothesis;
the poundage does not occur.
$hypothesis$ = the poundage occurs. ; $context$ = sent1: the anaclinalness does not occur. sent2: the trailing does not occur. sent3: the blueing Dahna occurs. sent4: the submersible does not occur and the slalom does not occur if the blueing lodging happens. sent5: if that the blueing Honegger occurs or the trailing happens or both is false the Antiguan does not occur. sent6: that the blueing Dahna occurs and the bastinadoing does not occur is triggered by that the Jesuiticalness happens. sent7: the whoopee does not occur. sent8: the blueing Dahna occurs if the Jesuiticalness happens. sent9: that the tone does not occur but the memorializing allergist occurs is caused by the non-submersibleness. sent10: that the whoopee does not occur is triggered by the non-Antiguanness. sent11: the fact that the quarrelling and the cardiacness occurs does not hold if the depreciating does not occur. sent12: the powdering Lamb happens. sent13: if the toning does not occur and the memorializing allergist happens the reticulateness does not occur. sent14: the fact that the rumpling does not occur hold if that the cutness or the rumba or both happens is false. sent15: that not the gastroscopy but the ludo happens is brought about by that the daydreaming does not occur. sent16: the quarrelling does not occur. sent17: that the trailing does not occur is brought about by that the Jesuiticalness does not occur. sent18: if the Jesuiticalness does not occur then that the blueing Honegger happens and/or the trailing occurs is not correct. sent19: the cardiacness occurs. sent20: if the quarrelling does not occur the bastinado happens and the cardiacness occurs. sent21: the depreciating does not occur if the reticulateness does not occur. sent22: that the poundage does not occur but the Jesuiticalness happens is caused by that the trailing occurs. sent23: not the whoopee but the poundage happens if the Antiguanness does not occur. sent24: the whoopee does not occur if that the quarrelling happens and the cardiacness happens is wrong. sent25: if the quarrelling does not occur then the fact that the cardiacness happens hold. ; $proof$ = 
void -> assump1: Let's assume that the Jesuiticalness occurs.; sent6 & assump1 -> int1: the blueing Dahna but not the bastinado happens.; int1 -> int2: the bastinadoing does not occur.; sent20 & sent16 -> int3: the bastinadoing happens and the cardiacness happens.; int3 -> int4: the bastinado occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Jesuiticalness does not occur.; int6 & sent18 -> int7: that either the blueing Honegger happens or the trailing happens or both is not true.; int7 & sent5 -> int8: the fact that the Antiguan does not occur is true.; int8 & sent23 -> int9: that the whoopee does not occur but the poundage happens is not false.; int9 -> hypothesis; __PROVED__