the electricity happens if the grating octopus happens.
sent1: if the inflaming happens then the grating octopus does not occur. sent2: the grating octopus is prevented by that either the inflaming happens or the electricity does not occur or both. sent3: the fact that the cerousness happens is not incorrect.
void -> assump1: Let's assume that the electricity does not occur.; assump1 -> int1: the inflaming occurs and/or the electricity does not occur.; int1 & sent2 -> int2: the grating octopus does not occur.; void -> assump2: Let's assume that the grating octopus occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the electricity happens is right.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the electricity happens if the grating octopus happens. ; $context$ = sent1: if the inflaming happens then the grating octopus does not occur. sent2: the grating octopus is prevented by that either the inflaming happens or the electricity does not occur or both. sent3: the fact that the cerousness happens is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the electricity does not occur.; assump1 -> int1: the inflaming occurs and/or the electricity does not occur.; int1 & sent2 -> int2: the grating octopus does not occur.; void -> assump2: Let's assume that the grating octopus occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the electricity happens is right.; [assump2] & int4 -> hypothesis; __PROVED__