not the irrelevantness but the pitting Chapman happens.
sent1: that the mastoidectomy does not occur triggers that the photocoagulation does not occur. sent2: that the decimalization does not occur is caused by that both the impreciseness and the apologeticsness occurs. sent3: if the decimalization does not occur then the pitting Chapman occurs. sent4: the exhumation happens. sent5: that the pitting Chapman happens is not wrong. sent6: the impreciseness happens if the exhumation happens. sent7: the rearrangement does not occur if that the photocoagulation occurs and the mastoidectomy happens is false. sent8: the fact that the mastoidectomy does not occur is not false if the non-apologeticsness and/or the rearrangement happens. sent9: the photocoagulation occurs. sent10: not the irrelevantness but the pitting Chapman happens if the decimalization does not occur. sent11: if the rearrangement happens then that the mastoidectomy does not occur is not incorrect.
void -> assump1: Let's assume that the apologeticsness does not occur.; assump1 -> int1: the apologeticsness does not occur or the rearrangement happens or both.; int1 & sent8 -> int2: the mastoidectomy does not occur.; int2 & sent1 -> int3: the photocoagulation does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the apologeticsness happens is not wrong.; sent6 & sent4 -> int6: that the impreciseness occurs hold.; int5 & int6 -> int7: both the impreciseness and the apologeticsness occurs.; int7 & sent2 -> int8: the decimalization does not occur.; int8 & sent10 -> hypothesis;
the fact that the irrelevantness does not occur and the pitting Chapman happens is false.
 -> hypothesis;
$hypothesis$ = not the irrelevantness but the pitting Chapman happens. ; $context$ = sent1: that the mastoidectomy does not occur triggers that the photocoagulation does not occur. sent2: that the decimalization does not occur is caused by that both the impreciseness and the apologeticsness occurs. sent3: if the decimalization does not occur then the pitting Chapman occurs. sent4: the exhumation happens. sent5: that the pitting Chapman happens is not wrong. sent6: the impreciseness happens if the exhumation happens. sent7: the rearrangement does not occur if that the photocoagulation occurs and the mastoidectomy happens is false. sent8: the fact that the mastoidectomy does not occur is not false if the non-apologeticsness and/or the rearrangement happens. sent9: the photocoagulation occurs. sent10: not the irrelevantness but the pitting Chapman happens if the decimalization does not occur. sent11: if the rearrangement happens then that the mastoidectomy does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the apologeticsness does not occur.; assump1 -> int1: the apologeticsness does not occur or the rearrangement happens or both.; int1 & sent8 -> int2: the mastoidectomy does not occur.; int2 & sent1 -> int3: the photocoagulation does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the apologeticsness happens is not wrong.; sent6 & sent4 -> int6: that the impreciseness occurs hold.; int5 & int6 -> int7: both the impreciseness and the apologeticsness occurs.; int7 & sent2 -> int8: the decimalization does not occur.; int8 & sent10 -> hypothesis; __PROVED__