the fact that the vertebrateness happens if that the chronologicalness happens is not false is not correct.
sent1: the defusing Newman does not occur. sent2: both the vertebrateness and the neutral occurs if the destruction does not occur. sent3: that the guaranteeing auto-mechanic happens or the destruction happens or both leads to that the chronologicalness does not occur.
void -> assump1: Let's assume that that the chronologicalness occurs hold.; void -> assump2: Let's assume that the fact that the destruction occurs hold.; assump2 -> int1: the guaranteeing auto-mechanic or the destruction or both occurs.; sent3 & int1 -> int2: the chronologicalness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the destruction does not occur.; sent2 & int4 -> int5: both the vertebrate and the neutralness happens.; int5 -> int6: the vertebrateness happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the vertebrateness happens if that the chronologicalness happens is not false is not correct. ; $context$ = sent1: the defusing Newman does not occur. sent2: both the vertebrateness and the neutral occurs if the destruction does not occur. sent3: that the guaranteeing auto-mechanic happens or the destruction happens or both leads to that the chronologicalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the chronologicalness occurs hold.; void -> assump2: Let's assume that the fact that the destruction occurs hold.; assump2 -> int1: the guaranteeing auto-mechanic or the destruction or both occurs.; sent3 & int1 -> int2: the chronologicalness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the destruction does not occur.; sent2 & int4 -> int5: both the vertebrate and the neutralness happens.; int5 -> int6: the vertebrateness happens.; [assump1] & int6 -> hypothesis; __DISPROVED__