that the rain does not occur if the babel does not occur and the demoticness does not occur is not true.
sent1: that the pleaching tuberculin does not occur and the demoticness does not occur triggers that the babel does not occur. sent2: the breaststroking and the cholecystectomy happens if the rendering stiletto does not occur. sent3: if the idiolatry does not occur that the rendezvousing lexicalization happens and the shriveling does not occur is true. sent4: that the raining happens results in that the non-radiotelephonicness and the rendezvousing crith happens. sent5: the rendering stiletto does not occur if the lineman does not occur. sent6: the rendezvousing Arcadian and the rendering lightship occurs if the Normanness does not occur. sent7: that the rendering ripper happens and the raining happens is brought about by that the babel does not occur. sent8: if the radiotelephonicness does not occur then the fact that that the babel does not occur and the demoticness does not occur is right is false. sent9: if the responsibility occurs the unsoldness does not occur and the Norman does not occur. sent10: the responsibility occurs if the breaststroke occurs. sent11: if the rendezvousing Arcadian occurs then the pleaching tuberculin does not occur and the demoticness does not occur. sent12: if the shriveling does not occur the lineman does not occur.
void -> assump1: Let's assume that the babel does not occur and the demoticness does not occur.; void -> assump2: Let's assume that the raining occurs.; sent4 & assump2 -> int1: the non-radiotelephonicness and the rendezvousing crith happens.; int1 -> int2: the radiotelephonicness does not occur.; sent8 & int2 -> int3: that the babel does not occur and the demoticness does not occur is wrong.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the rain does not occur.; [assump1] & int5 -> hypothesis;
the rendering ripper happens.
$hypothesis$ = that the rain does not occur if the babel does not occur and the demoticness does not occur is not true. ; $context$ = sent1: that the pleaching tuberculin does not occur and the demoticness does not occur triggers that the babel does not occur. sent2: the breaststroking and the cholecystectomy happens if the rendering stiletto does not occur. sent3: if the idiolatry does not occur that the rendezvousing lexicalization happens and the shriveling does not occur is true. sent4: that the raining happens results in that the non-radiotelephonicness and the rendezvousing crith happens. sent5: the rendering stiletto does not occur if the lineman does not occur. sent6: the rendezvousing Arcadian and the rendering lightship occurs if the Normanness does not occur. sent7: that the rendering ripper happens and the raining happens is brought about by that the babel does not occur. sent8: if the radiotelephonicness does not occur then the fact that that the babel does not occur and the demoticness does not occur is right is false. sent9: if the responsibility occurs the unsoldness does not occur and the Norman does not occur. sent10: the responsibility occurs if the breaststroke occurs. sent11: if the rendezvousing Arcadian occurs then the pleaching tuberculin does not occur and the demoticness does not occur. sent12: if the shriveling does not occur the lineman does not occur. ; $proof$ = 
void -> assump1: Let's assume that the babel does not occur and the demoticness does not occur.; void -> assump2: Let's assume that the raining occurs.; sent4 & assump2 -> int1: the non-radiotelephonicness and the rendezvousing crith happens.; int1 -> int2: the radiotelephonicness does not occur.; sent8 & int2 -> int3: that the babel does not occur and the demoticness does not occur is wrong.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the rain does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__