that not the disposal but the crosswiseness occurs is not false.
sent1: that the significantness but not the moving nomination happens is triggered by that the roofing does not occur. sent2: the roofing prevents that the capableness does not occur. sent3: if the wailing does not occur then the shearing does not occur. sent4: the comfort does not occur if the moving nomination does not occur. sent5: the anadromousness occurs if the capableness occurs. sent6: the anadromousness does not occur. sent7: the significantness occurs if the roofing does not occur. sent8: the crosswiseness happens. sent9: that the comforting does not occur results in that the disposal does not occur and the crosswiseness happens. sent10: if the comforting does not occur then the crosswiseness happens. sent11: the significantness happens. sent12: that the dissociating success does not occur leads to that the aggregating refill does not occur but the subluxation occurs. sent13: the undulation does not occur. sent14: the downpour does not occur.
void -> assump1: Let's assume that the fact that the roofing does not occur is not correct.; sent2 & assump1 -> int1: the capableness happens.; int1 & sent5 -> int2: the anadromousness happens.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the roofing does not occur is not false.; int4 & sent1 -> int5: the significantness happens but the moving nomination does not occur.; int5 -> int6: the moving nomination does not occur.; int6 & sent4 -> int7: the comforting does not occur.; int7 & sent9 -> hypothesis;
the fact that the disposal does not occur but the crosswiseness happens is incorrect.
 -> hypothesis;
$hypothesis$ = that not the disposal but the crosswiseness occurs is not false. ; $context$ = sent1: that the significantness but not the moving nomination happens is triggered by that the roofing does not occur. sent2: the roofing prevents that the capableness does not occur. sent3: if the wailing does not occur then the shearing does not occur. sent4: the comfort does not occur if the moving nomination does not occur. sent5: the anadromousness occurs if the capableness occurs. sent6: the anadromousness does not occur. sent7: the significantness occurs if the roofing does not occur. sent8: the crosswiseness happens. sent9: that the comforting does not occur results in that the disposal does not occur and the crosswiseness happens. sent10: if the comforting does not occur then the crosswiseness happens. sent11: the significantness happens. sent12: that the dissociating success does not occur leads to that the aggregating refill does not occur but the subluxation occurs. sent13: the undulation does not occur. sent14: the downpour does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the roofing does not occur is not correct.; sent2 & assump1 -> int1: the capableness happens.; int1 & sent5 -> int2: the anadromousness happens.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the roofing does not occur is not false.; int4 & sent1 -> int5: the significantness happens but the moving nomination does not occur.; int5 -> int6: the moving nomination does not occur.; int6 & sent4 -> int7: the comforting does not occur.; int7 & sent9 -> hypothesis; __PROVED__