the fact that the reinforcing ephedrine does not occur and the solarizing does not occur does not hold if the constant occurs.
sent1: if the comforting tallow does not occur then the constantness does not occur. sent2: if the fact that either the suicide occurs or the comforting tallow does not occur or both is not right the unsoundness does not occur. sent3: the fact that the reinforcing ephedrine does not occur and the solarizing does not occur is not right if the unsoundness does not occur. sent4: the constantness does not occur if the suicide occurs.
void -> assump2: Let's assume that the constant happens.; void -> assump1: Let's assume that the suicide happens and/or the comforting tallow does not occur.; assump1 & sent4 & sent1 -> int1: the constantness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the suicide occurs and/or the comforting tallow does not occur is wrong.; sent2 & int3 -> int4: the unsoundness does not occur.; sent3 & int4 -> int5: the fact that the reinforcing ephedrine does not occur and the solarizing does not occur is not correct.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the reinforcing ephedrine does not occur and the solarizing does not occur does not hold if the constant occurs. ; $context$ = sent1: if the comforting tallow does not occur then the constantness does not occur. sent2: if the fact that either the suicide occurs or the comforting tallow does not occur or both is not right the unsoundness does not occur. sent3: the fact that the reinforcing ephedrine does not occur and the solarizing does not occur is not right if the unsoundness does not occur. sent4: the constantness does not occur if the suicide occurs. ; $proof$ = 
void -> assump2: Let's assume that the constant happens.; void -> assump1: Let's assume that the suicide happens and/or the comforting tallow does not occur.; assump1 & sent4 & sent1 -> int1: the constantness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the suicide occurs and/or the comforting tallow does not occur is wrong.; sent2 & int3 -> int4: the unsoundness does not occur.; sent3 & int4 -> int5: the fact that the reinforcing ephedrine does not occur and the solarizing does not occur is not correct.; [assump2] & int5 -> hypothesis; __PROVED__