the fact that the fact that the configuring Radiigera does not occur and the honking does not occur is true if the luminescing occurs is not correct.
sent1: if that the one-stepping does not occur is true the configuring Radiigera does not occur and the honk does not occur. sent2: the luminescing does not occur if the fact that the disunifying alluvion occurs and the one-step does not occur does not hold. sent3: the configuring Radiigera occurs and the honking does not occur.
void -> assump2: Let's assume that the luminescing happens.; void -> assump1: Let's assume that the fact that the disunifying alluvion occurs and the one-step does not occur is not correct.; sent2 & assump1 -> int1: the fact that the luminescing does not occur is right.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the disunifying alluvion but not the one-stepping occurs.; int3 -> int4: the one-step does not occur.; sent1 & int4 -> int5: the configuring Radiigera does not occur and the honk does not occur.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the fact that the configuring Radiigera does not occur and the honking does not occur is true if the luminescing occurs is not correct. ; $context$ = sent1: if that the one-stepping does not occur is true the configuring Radiigera does not occur and the honk does not occur. sent2: the luminescing does not occur if the fact that the disunifying alluvion occurs and the one-step does not occur does not hold. sent3: the configuring Radiigera occurs and the honking does not occur. ; $proof$ = 
void -> assump2: Let's assume that the luminescing happens.; void -> assump1: Let's assume that the fact that the disunifying alluvion occurs and the one-step does not occur is not correct.; sent2 & assump1 -> int1: the fact that the luminescing does not occur is right.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the disunifying alluvion but not the one-stepping occurs.; int3 -> int4: the one-step does not occur.; sent1 & int4 -> int5: the configuring Radiigera does not occur and the honk does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__