if the waterpower happens then the sinning does not occur and/or the conclusion does not occur.
sent1: the sin happens. sent2: the sinning does not occur and/or the conclusion happens. sent3: that the waterpower occurs and the disunifying triviality happens prevents the sin. sent4: if the waterpower occurs and the disunifying triviality occurs that the sin does not occur is wrong. sent5: the sinning occurs and/or the conclusion does not occur. sent6: the waterpower triggers that the sinning occurs or the conclusion does not occur or both. sent7: the disunifying triviality happens.
void -> assump1: Let's assume that the waterpower happens.; assump1 & sent7 -> int1: the waterpower occurs and the disunifying triviality happens.; int1 & sent3 -> int2: the sin does not occur.; int2 -> int3: the sinning does not occur and/or the conclusion does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the waterpower happens then the sinning does not occur and/or the conclusion does not occur. ; $context$ = sent1: the sin happens. sent2: the sinning does not occur and/or the conclusion happens. sent3: that the waterpower occurs and the disunifying triviality happens prevents the sin. sent4: if the waterpower occurs and the disunifying triviality occurs that the sin does not occur is wrong. sent5: the sinning occurs and/or the conclusion does not occur. sent6: the waterpower triggers that the sinning occurs or the conclusion does not occur or both. sent7: the disunifying triviality happens. ; $proof$ = 
void -> assump1: Let's assume that the waterpower happens.; assump1 & sent7 -> int1: the waterpower occurs and the disunifying triviality happens.; int1 & sent3 -> int2: the sin does not occur.; int2 -> int3: the sinning does not occur and/or the conclusion does not occur.; [assump1] & int3 -> hypothesis; __PROVED__