the assembling ballad does not occur.
sent1: if the fact that the beatification does not occur and the unforgettableness does not occur is false the anguineness does not occur. sent2: the planning does not occur if the fact that the non-exclusiveness and/or the non-fatalness occurs is not right. sent3: that the assembling ballad does not occur is prevented by that the fatalness does not occur. sent4: the phonologicalness occurs if the inhibition occurs. sent5: if the anguineness happens then the planning occurs. sent6: if the fatalness does not occur then the assembling ballad does not occur. sent7: the anguineness happens.
void -> assump1: Let's assume that that the non-exclusiveness and/or the nonfatalness happens is false.; sent2 & assump1 -> int1: the planning does not occur.; sent5 & sent7 -> int2: the plan happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-exclusiveness and/or the nonfatalness happens.;
the assembling ballad occurs.
$hypothesis$ = the assembling ballad does not occur. ; $context$ = sent1: if the fact that the beatification does not occur and the unforgettableness does not occur is false the anguineness does not occur. sent2: the planning does not occur if the fact that the non-exclusiveness and/or the non-fatalness occurs is not right. sent3: that the assembling ballad does not occur is prevented by that the fatalness does not occur. sent4: the phonologicalness occurs if the inhibition occurs. sent5: if the anguineness happens then the planning occurs. sent6: if the fatalness does not occur then the assembling ballad does not occur. sent7: the anguineness happens. ; $proof$ = 
void -> assump1: Let's assume that that the non-exclusiveness and/or the nonfatalness happens is false.; sent2 & assump1 -> int1: the planning does not occur.; sent5 & sent7 -> int2: the plan happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-exclusiveness and/or the nonfatalness happens.; __UNKNOWN__