that the diazoness does not occur and the clipping does not occur is incorrect.
sent1: if the retaining happens the lunacy occurs. sent2: the fact that not the animating but the anathema occurs is not true. sent3: if the nontranslationalness does not occur that both the non-dorsalness and the asterismalness happens is false. sent4: the redshift does not occur. sent5: the topiary does not occur if either the bargaining stricture occurs or the nonpartisan happens or both. sent6: the seaming Serinus is prevented by the bargaining butternut or that the certification happens or both. sent7: that the authorship happens and the explicating happens does not hold if the gutturalness does not occur. sent8: the fact that if the emulation does not occur the fact that the diazoness does not occur and the clipping does not occur does not hold is true. sent9: the long-distanceness does not occur if the fact that that the maritalness and the overflow occurs is wrong is right. sent10: that the emulation does not occur is not false if the fact that the griping South does not occur is not wrong. sent11: that the closed-circuitness happens and/or that the chemotherapy happens causes that the acquisition does not occur. sent12: if the paperiness happens then that the arachnoidness happens is not false. sent13: that the miming occurs is brought about by that the bargaining stricture does not occur. sent14: the dumping happens. sent15: the griping South does not occur if that both the counterintelligence and the bargaining pantaloon occurs does not hold. sent16: that the lunacy does not occur and the dyslexicness does not occur does not hold if the retaining does not occur. sent17: the bottomedness happens. sent18: that the dumping occurs triggers that the topiary happens. sent19: if not the topiary but the nonpartisanness occurs then the bargaining stricture does not occur.
void -> assump1: Let's assume that the nonpartisan happens.; assump1 -> int1: the bargaining stricture occurs and/or the nonpartisan happens.; int1 & sent5 -> int2: the fact that the topiary does not occur is true.; sent18 & sent14 -> int3: the topiary occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the nonpartisan does not occur.;
the fact that the mime happens hold.
$hypothesis$ = that the diazoness does not occur and the clipping does not occur is incorrect. ; $context$ = sent1: if the retaining happens the lunacy occurs. sent2: the fact that not the animating but the anathema occurs is not true. sent3: if the nontranslationalness does not occur that both the non-dorsalness and the asterismalness happens is false. sent4: the redshift does not occur. sent5: the topiary does not occur if either the bargaining stricture occurs or the nonpartisan happens or both. sent6: the seaming Serinus is prevented by the bargaining butternut or that the certification happens or both. sent7: that the authorship happens and the explicating happens does not hold if the gutturalness does not occur. sent8: the fact that if the emulation does not occur the fact that the diazoness does not occur and the clipping does not occur does not hold is true. sent9: the long-distanceness does not occur if the fact that that the maritalness and the overflow occurs is wrong is right. sent10: that the emulation does not occur is not false if the fact that the griping South does not occur is not wrong. sent11: that the closed-circuitness happens and/or that the chemotherapy happens causes that the acquisition does not occur. sent12: if the paperiness happens then that the arachnoidness happens is not false. sent13: that the miming occurs is brought about by that the bargaining stricture does not occur. sent14: the dumping happens. sent15: the griping South does not occur if that both the counterintelligence and the bargaining pantaloon occurs does not hold. sent16: that the lunacy does not occur and the dyslexicness does not occur does not hold if the retaining does not occur. sent17: the bottomedness happens. sent18: that the dumping occurs triggers that the topiary happens. sent19: if not the topiary but the nonpartisanness occurs then the bargaining stricture does not occur. ; $proof$ = 
void -> assump1: Let's assume that the nonpartisan happens.; assump1 -> int1: the bargaining stricture occurs and/or the nonpartisan happens.; int1 & sent5 -> int2: the fact that the topiary does not occur is true.; sent18 & sent14 -> int3: the topiary occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the nonpartisan does not occur.; __UNKNOWN__