the fact that if the ladder happens then the view does not occur and the processional does not occur is false.
sent1: if the fact that the ladder happens hold then the processionalness does not occur but the hagiolatry happens. sent2: that the outshouting Gymnopilus does not occur and the collagenousness does not occur is caused by that the mitralness occurs. sent3: the scraping does not occur. sent4: the fact that the ladder but not the viewing happens does not hold if the reducibleness occurs. sent5: that the fact that the reducibleness occurs and the boggling happens is not wrong is wrong if the scraping does not occur. sent6: both the scraping and the cyclone happens if the outshouting Gymnopilus does not occur. sent7: the evening Harrod does not occur if the extramuralness does not occur. sent8: if the glomerularness happens the mitralness occurs. sent9: the evening contrasting happens if that the ladder but not the viewing happens is not true. sent10: that the cardinalship occurs prevents the non-glomerularness. sent11: that the boggling happens results in the reducibleness. sent12: the view does not occur if that the reducibleness and the boggling happens does not hold. sent13: if the Snow does not occur then the offloading happens or the outshouting toke does not occur or both. sent14: the boggling occurs if the scraping happens.
void -> assump1: Let's assume that the ladder occurs.; sent1 & assump1 -> int1: both the non-processionalness and the hagiolatry occurs.; int1 -> int2: the processionalness does not occur.; sent5 & sent3 -> int3: that the reducibleness happens and the boggling happens is not correct.; sent12 & int3 -> int4: the viewing does not occur.; int2 & int4 -> int5: the viewing does not occur and the processional does not occur.; [assump1] & int5 -> hypothesis;
the evening contrasting occurs.
$hypothesis$ = the fact that if the ladder happens then the view does not occur and the processional does not occur is false. ; $context$ = sent1: if the fact that the ladder happens hold then the processionalness does not occur but the hagiolatry happens. sent2: that the outshouting Gymnopilus does not occur and the collagenousness does not occur is caused by that the mitralness occurs. sent3: the scraping does not occur. sent4: the fact that the ladder but not the viewing happens does not hold if the reducibleness occurs. sent5: that the fact that the reducibleness occurs and the boggling happens is not wrong is wrong if the scraping does not occur. sent6: both the scraping and the cyclone happens if the outshouting Gymnopilus does not occur. sent7: the evening Harrod does not occur if the extramuralness does not occur. sent8: if the glomerularness happens the mitralness occurs. sent9: the evening contrasting happens if that the ladder but not the viewing happens is not true. sent10: that the cardinalship occurs prevents the non-glomerularness. sent11: that the boggling happens results in the reducibleness. sent12: the view does not occur if that the reducibleness and the boggling happens does not hold. sent13: if the Snow does not occur then the offloading happens or the outshouting toke does not occur or both. sent14: the boggling occurs if the scraping happens. ; $proof$ = 
void -> assump1: Let's assume that the ladder occurs.; sent1 & assump1 -> int1: both the non-processionalness and the hagiolatry occurs.; int1 -> int2: the processionalness does not occur.; sent5 & sent3 -> int3: that the reducibleness happens and the boggling happens is not correct.; sent12 & int3 -> int4: the viewing does not occur.; int2 & int4 -> int5: the viewing does not occur and the processional does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__