if the congratulating happens the vacuolateness does not occur and the coaching Belshazzar happens.
sent1: the congratulating does not occur if that the betrayal does not occur and the Rock does not occur is not correct. sent2: the Rock triggers that the congratulating does not occur. sent3: the fact that the synapticness happens hold if the fact that both the non-benignantness and the non-spiritualisticness happens is false. sent4: if the coaching Belshazzar does not occur then that not the congratulating but the amphotericness occurs is not correct. sent5: if that the amphotericness does not occur is true the non-vacuolateness and the coaching Belshazzar occurs. sent6: the fact that the stridulation happens if the fact that not the congratulating but the amphotericness occurs is not correct is correct. sent7: if the amphotericness happens then the fact that the betrayal does not occur and the Rock does not occur does not hold.
void -> assump1: Let's assume that the congratulating happens.; void -> assump2: Let's assume that the amphotericness happens.; sent7 & assump2 -> int1: the fact that the fact that the betrayal does not occur and the Rock does not occur does not hold is not false.; sent1 & int1 -> int2: the congratulating does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the amphotericness does not occur.; sent5 & int4 -> int5: not the vacuolateness but the coaching Belshazzar happens.; [assump1] & int5 -> hypothesis;
the stridulation occurs.
$hypothesis$ = if the congratulating happens the vacuolateness does not occur and the coaching Belshazzar happens. ; $context$ = sent1: the congratulating does not occur if that the betrayal does not occur and the Rock does not occur is not correct. sent2: the Rock triggers that the congratulating does not occur. sent3: the fact that the synapticness happens hold if the fact that both the non-benignantness and the non-spiritualisticness happens is false. sent4: if the coaching Belshazzar does not occur then that not the congratulating but the amphotericness occurs is not correct. sent5: if that the amphotericness does not occur is true the non-vacuolateness and the coaching Belshazzar occurs. sent6: the fact that the stridulation happens if the fact that not the congratulating but the amphotericness occurs is not correct is correct. sent7: if the amphotericness happens then the fact that the betrayal does not occur and the Rock does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the congratulating happens.; void -> assump2: Let's assume that the amphotericness happens.; sent7 & assump2 -> int1: the fact that the fact that the betrayal does not occur and the Rock does not occur does not hold is not false.; sent1 & int1 -> int2: the congratulating does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the amphotericness does not occur.; sent5 & int4 -> int5: not the vacuolateness but the coaching Belshazzar happens.; [assump1] & int5 -> hypothesis; __PROVED__