the fact that if the curing occurs then the decolonization occurs is incorrect.
sent1: if the rub-a-dub happens then the nonindulgentness happens. sent2: if that the rub-a-dub does not occur hold the curing occurs. sent3: if the rub-a-dub does not occur then the curing does not occur. sent4: the decolonization happens if the nonindulgentness happens.
void -> assump2: Let's assume that the rub-a-dub does not occur.; sent3 & assump2 -> int1: the fact that the curing does not occur is right.; void -> assump1: Let's assume that the curing occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the rub-a-dub happens.; int3 & sent1 -> int4: the nonindulgentness happens.; int4 & sent4 -> int5: the decolonization happens.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the curing occurs then the decolonization occurs is incorrect. ; $context$ = sent1: if the rub-a-dub happens then the nonindulgentness happens. sent2: if that the rub-a-dub does not occur hold the curing occurs. sent3: if the rub-a-dub does not occur then the curing does not occur. sent4: the decolonization happens if the nonindulgentness happens. ; $proof$ = 
void -> assump2: Let's assume that the rub-a-dub does not occur.; sent3 & assump2 -> int1: the fact that the curing does not occur is right.; void -> assump1: Let's assume that the curing occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the rub-a-dub happens.; int3 & sent1 -> int4: the nonindulgentness happens.; int4 & sent4 -> int5: the decolonization happens.; [assump1] & int5 -> hypothesis; __DISPROVED__