the fact that the pleaching payslip does not occur and the chemiluminescence does not occur does not hold.
sent1: the rendezvousing decline does not occur if the conjugation and the souring happens. sent2: the papering does not occur. sent3: the chemiluminescence does not occur. sent4: if the rendezvousing decline does not occur the pleaching payslip does not occur and the chemiluminescence does not occur. sent5: the fact that either the popularness occurs or the environmentalism does not occur or both is wrong if the souringness does not occur. sent6: that if the souring does not occur then the fact that the environmentalism occurs is correct is correct. sent7: the popularness occurs and/or the environmentalism does not occur. sent8: the environmentalism happens. sent9: that the testicularness does not occur is not incorrect if the peroration occurs and the misconduct happens. sent10: that the pleaching arsonist occurs and/or the supraorbitalness does not occur is false. sent11: if the fact that the undemocraticness occurs but the conjugation does not occur is incorrect then the undemocraticness does not occur. sent12: the chemiluminescence does not occur if the rendezvousing decline does not occur. sent13: the popularness and/or the environmentalism occurs. sent14: the conjugation occurs.
void -> assump1: Let's assume that the souring does not occur.; sent5 & assump1 -> int1: the fact that the popularness happens and/or the environmentalism does not occur is wrong.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the souringness occurs.; int3 & sent14 -> int4: both the conjugation and the souringness occurs.; int4 & sent1 -> int5: the rendezvousing decline does not occur.; int5 & sent4 -> hypothesis;
that the pleaching payslip does not occur and the chemiluminescence does not occur does not hold.
 -> hypothesis;
$hypothesis$ = the fact that the pleaching payslip does not occur and the chemiluminescence does not occur does not hold. ; $context$ = sent1: the rendezvousing decline does not occur if the conjugation and the souring happens. sent2: the papering does not occur. sent3: the chemiluminescence does not occur. sent4: if the rendezvousing decline does not occur the pleaching payslip does not occur and the chemiluminescence does not occur. sent5: the fact that either the popularness occurs or the environmentalism does not occur or both is wrong if the souringness does not occur. sent6: that if the souring does not occur then the fact that the environmentalism occurs is correct is correct. sent7: the popularness occurs and/or the environmentalism does not occur. sent8: the environmentalism happens. sent9: that the testicularness does not occur is not incorrect if the peroration occurs and the misconduct happens. sent10: that the pleaching arsonist occurs and/or the supraorbitalness does not occur is false. sent11: if the fact that the undemocraticness occurs but the conjugation does not occur is incorrect then the undemocraticness does not occur. sent12: the chemiluminescence does not occur if the rendezvousing decline does not occur. sent13: the popularness and/or the environmentalism occurs. sent14: the conjugation occurs. ; $proof$ = 
void -> assump1: Let's assume that the souring does not occur.; sent5 & assump1 -> int1: the fact that the popularness happens and/or the environmentalism does not occur is wrong.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the souringness occurs.; int3 & sent14 -> int4: both the conjugation and the souringness occurs.; int4 & sent1 -> int5: the rendezvousing decline does not occur.; int5 & sent4 -> hypothesis; __DISPROVED__