the fact that the Buddhistness happens hold.
sent1: if the contemning smokescreen does not occur the fact that the ridiculing desirability does not occur and the reversibleness occurs hold. sent2: if the spank does not occur then the fact that the contemning smokescreen occurs is not false. sent3: if the fact that the confining ONI does not occur and the reversibleness happens is not true the reversibleness does not occur. sent4: the spanking does not occur and the sidelining irons does not occur if that the poking occurs is not incorrect. sent5: the fact that that the sabotage occurs triggers that the Buddhist and the non-retroactiveness happens is not incorrect. sent6: the reversible occurs. sent7: that the glottochronologicalness occurs and the sabotage does not occur is brought about by that the retroactiveness occurs. sent8: the Buddhist does not occur and the sabotaging does not occur if the retroactiveness occurs. sent9: if the sabotage does not occur the acneiformness occurs but the contemning Phalaropidae does not occur. sent10: if the Bruneianness does not occur both the poking and the counterfeitness occurs. sent11: the ridiculing desirability does not occur but the retroactiveness occurs if the reversible does not occur. sent12: that the confining ONI does not occur but the reversible occurs is wrong if the contemning smokescreen occurs. sent13: that the contemning smokescreen does not occur or that the spank occurs or both brings about that the contemning smokescreen does not occur.
void -> assump1: Let's assume that the sabotaging does not occur.; sent9 & assump1 -> int1: the acneiformness but not the contemning Phalaropidae occurs.; int1 -> int2: that the contemning Phalaropidae does not occur is true.;
the Buddhist does not occur.
$hypothesis$ = the fact that the Buddhistness happens hold. ; $context$ = sent1: if the contemning smokescreen does not occur the fact that the ridiculing desirability does not occur and the reversibleness occurs hold. sent2: if the spank does not occur then the fact that the contemning smokescreen occurs is not false. sent3: if the fact that the confining ONI does not occur and the reversibleness happens is not true the reversibleness does not occur. sent4: the spanking does not occur and the sidelining irons does not occur if that the poking occurs is not incorrect. sent5: the fact that that the sabotage occurs triggers that the Buddhist and the non-retroactiveness happens is not incorrect. sent6: the reversible occurs. sent7: that the glottochronologicalness occurs and the sabotage does not occur is brought about by that the retroactiveness occurs. sent8: the Buddhist does not occur and the sabotaging does not occur if the retroactiveness occurs. sent9: if the sabotage does not occur the acneiformness occurs but the contemning Phalaropidae does not occur. sent10: if the Bruneianness does not occur both the poking and the counterfeitness occurs. sent11: the ridiculing desirability does not occur but the retroactiveness occurs if the reversible does not occur. sent12: that the confining ONI does not occur but the reversible occurs is wrong if the contemning smokescreen occurs. sent13: that the contemning smokescreen does not occur or that the spank occurs or both brings about that the contemning smokescreen does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sabotaging does not occur.; sent9 & assump1 -> int1: the acneiformness but not the contemning Phalaropidae occurs.; int1 -> int2: that the contemning Phalaropidae does not occur is true.; __UNKNOWN__