that that the impedance does not occur is triggered by that the refraining prescription occurs is not correct.
sent1: the vicarialness happens if the startup occurs. sent2: the non-postmortemness brings about that the impedance does not occur. sent3: if the arthrography happens the allographicness happens. sent4: the neocorticalness does not occur. sent5: the altocumulus does not occur. sent6: if the circularizing Crangonidae happens the electrochemicalness occurs. sent7: the driftage does not occur. sent8: that the impedance is caused by the refraining prescription hold. sent9: the refraining prescription is caused by the postmortemness. sent10: the photostating dextrorotation happens if the snarling turncock occurs. sent11: if the refraining prescription and the non-postmortemness happens the fact that the timework occurs is not incorrect. sent12: the emaciating occurs. sent13: that the photostating turnip occurs is prevented by that the refraining factor does not occur. sent14: the surfeiting does not occur. sent15: the refraining prescription does not occur if the postmortemness happens.
void -> assump2: Let's assume that the refraining prescription occurs.; void -> assump1: Let's assume that the postmortem occurs.; sent15 & assump1 -> int1: the refraining prescription does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the postmortem does not occur.; sent2 & int3 -> int4: the impedance does not occur.; [assump2] & int4 -> hypothesis;
the fact that the timework happens is correct.
$hypothesis$ = that that the impedance does not occur is triggered by that the refraining prescription occurs is not correct. ; $context$ = sent1: the vicarialness happens if the startup occurs. sent2: the non-postmortemness brings about that the impedance does not occur. sent3: if the arthrography happens the allographicness happens. sent4: the neocorticalness does not occur. sent5: the altocumulus does not occur. sent6: if the circularizing Crangonidae happens the electrochemicalness occurs. sent7: the driftage does not occur. sent8: that the impedance is caused by the refraining prescription hold. sent9: the refraining prescription is caused by the postmortemness. sent10: the photostating dextrorotation happens if the snarling turncock occurs. sent11: if the refraining prescription and the non-postmortemness happens the fact that the timework occurs is not incorrect. sent12: the emaciating occurs. sent13: that the photostating turnip occurs is prevented by that the refraining factor does not occur. sent14: the surfeiting does not occur. sent15: the refraining prescription does not occur if the postmortemness happens. ; $proof$ = 
void -> assump2: Let's assume that the refraining prescription occurs.; void -> assump1: Let's assume that the postmortem occurs.; sent15 & assump1 -> int1: the refraining prescription does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the postmortem does not occur.; sent2 & int3 -> int4: the impedance does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__