the fact that the non-postwarness brings about that the abiotrophy does not occur and the downing videodisk happens is not right.
sent1: the seismography does not occur. sent2: the fact that the imperialism does not occur is not false. sent3: if the imperialism does not occur the downing dust happens and the downing videodisk happens. sent4: that the decking neuralgia happens prevents that the postwarness does not occur. sent5: if the seismography does not occur but the abiotrophy happens then the decking neuralgia occurs.
void -> assump1: Let's assume that that the abiotrophy occurs is true.; sent1 & assump1 -> int1: the seismography does not occur but the abiotrophy occurs.; int1 & sent5 -> int2: the decking neuralgia happens.; int2 & sent4 -> int3: the postwarness happens.; void -> assump2: Let's assume that the postwarness does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the abiotrophy does not occur.; sent3 & sent2 -> int6: the downing dust occurs and the downing videodisk occurs.; int6 -> int7: that the downing videodisk occurs is correct.; int5 & int7 -> int8: the abiotrophy does not occur but the downing videodisk occurs.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the fact that the non-postwarness brings about that the abiotrophy does not occur and the downing videodisk happens is not right. ; $context$ = sent1: the seismography does not occur. sent2: the fact that the imperialism does not occur is not false. sent3: if the imperialism does not occur the downing dust happens and the downing videodisk happens. sent4: that the decking neuralgia happens prevents that the postwarness does not occur. sent5: if the seismography does not occur but the abiotrophy happens then the decking neuralgia occurs. ; $proof$ = 
void -> assump1: Let's assume that that the abiotrophy occurs is true.; sent1 & assump1 -> int1: the seismography does not occur but the abiotrophy occurs.; int1 & sent5 -> int2: the decking neuralgia happens.; int2 & sent4 -> int3: the postwarness happens.; void -> assump2: Let's assume that the postwarness does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the abiotrophy does not occur.; sent3 & sent2 -> int6: the downing dust occurs and the downing videodisk occurs.; int6 -> int7: that the downing videodisk occurs is correct.; int5 & int7 -> int8: the abiotrophy does not occur but the downing videodisk occurs.; [assump2] & int8 -> hypothesis; __DISPROVED__