the dinging hexagram occurs.
sent1: if the headquartering artfulness does not occur that the sparring occurs and the headquartering Jong does not occur is not true. sent2: if the fact that the nonpayment does not occur and/or the papillariness happens is not true then the dinging hexagram happens. sent3: the fact that the fact that the nonpayment but not the prejudging occurs is false hold if the maximization occurs. sent4: if the ACE does not occur the maximization does not occur and the leading happens. sent5: that the evisceration happens causes that the cleanup does not occur and the ACE does not occur. sent6: if the maximization does not occur that that the simoom occurs and the prejudging occurs does not hold is true. sent7: the clasp does not occur if that not the aniseikonicness but the clasp occurs is not true. sent8: the simoom occurs and the maximization happens. sent9: the hypothermicness does not occur if that the sparring but not the headquartering Jong happens does not hold. sent10: the evisceration happens and the sporadicness happens if the clasp does not occur. sent11: the metrologicalness does not occur. sent12: that the dinging Upjohn occurs prevents the rape. sent13: if the sacrificialness happens the fact that the outgeneraling ticktock occurs and the headquartering kunzite occurs is not right. sent14: if the fact that the simoom and the prejudging occurs is false then the prejudging does not occur. sent15: the fact that the non-aniseikonicness and the clasping happens is not right if the hypothermicness does not occur. sent16: that the gonioscopy happens and the educating occurs does not hold. sent17: that the nonpayment happens but the prejudging does not occur is brought about by that the papillariness happens. sent18: the correcting does not occur if the dinging Altaic happens. sent19: if the fact that the dinging hexagram occurs is not incorrect then the papillariness occurs.
void -> assump1: Let's assume that the dinging hexagram occurs.; sent19 & assump1 -> int1: the papillariness happens.; int1 & sent17 -> int2: the nonpayment happens and the prejudging does not occur.; sent8 -> int3: the maximization happens.; sent3 & int3 -> int4: the fact that the nonpayment happens but the prejudging does not occur does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the dinging hexagram happens.
$hypothesis$ = the dinging hexagram occurs. ; $context$ = sent1: if the headquartering artfulness does not occur that the sparring occurs and the headquartering Jong does not occur is not true. sent2: if the fact that the nonpayment does not occur and/or the papillariness happens is not true then the dinging hexagram happens. sent3: the fact that the fact that the nonpayment but not the prejudging occurs is false hold if the maximization occurs. sent4: if the ACE does not occur the maximization does not occur and the leading happens. sent5: that the evisceration happens causes that the cleanup does not occur and the ACE does not occur. sent6: if the maximization does not occur that that the simoom occurs and the prejudging occurs does not hold is true. sent7: the clasp does not occur if that not the aniseikonicness but the clasp occurs is not true. sent8: the simoom occurs and the maximization happens. sent9: the hypothermicness does not occur if that the sparring but not the headquartering Jong happens does not hold. sent10: the evisceration happens and the sporadicness happens if the clasp does not occur. sent11: the metrologicalness does not occur. sent12: that the dinging Upjohn occurs prevents the rape. sent13: if the sacrificialness happens the fact that the outgeneraling ticktock occurs and the headquartering kunzite occurs is not right. sent14: if the fact that the simoom and the prejudging occurs is false then the prejudging does not occur. sent15: the fact that the non-aniseikonicness and the clasping happens is not right if the hypothermicness does not occur. sent16: that the gonioscopy happens and the educating occurs does not hold. sent17: that the nonpayment happens but the prejudging does not occur is brought about by that the papillariness happens. sent18: the correcting does not occur if the dinging Altaic happens. sent19: if the fact that the dinging hexagram occurs is not incorrect then the papillariness occurs. ; $proof$ = 
void -> assump1: Let's assume that the dinging hexagram occurs.; sent19 & assump1 -> int1: the papillariness happens.; int1 & sent17 -> int2: the nonpayment happens and the prejudging does not occur.; sent8 -> int3: the maximization happens.; sent3 & int3 -> int4: the fact that the nonpayment happens but the prejudging does not occur does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__