the amauroticness does not occur.
sent1: that not the coruscation but the armorialness occurs is not true. sent2: the terrestrialness occurs if the Energy occurs. sent3: the fact that not the wrath but the flexibleness occurs is wrong if the volcanism occurs. sent4: that the spelldown happens is prevented by either that the Energy does not occur or that the navigation does not occur or both. sent5: if that the wrath does not occur and the flexibleness happens is false that the wrath happens is true. sent6: if that the coruscation does not occur and the armorialness happens is not correct then the terrestrialness does not occur. sent7: the orchiopexy occurs and the volcanism occurs. sent8: the amauroticness does not occur if the heroine does not occur. sent9: that the wrath occurs and the spelldown does not occur prevents the heroine.
void -> assump1: Let's assume that the Energy occurs.; sent2 & assump1 -> int1: the terrestrialness happens.; sent6 & sent1 -> int2: the terrestrialness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Energy does not occur is not incorrect.; int4 -> int5: the Energy does not occur and/or the navigation does not occur.; int5 & sent4 -> int6: the spelldown does not occur.; sent7 -> int7: that the volcanism occurs is not wrong.; sent3 & int7 -> int8: the fact that the wrath does not occur but the flexibleness happens is not true.; sent5 & int8 -> int9: the wrath occurs.; int6 & int9 -> int10: the wrath occurs but the spelldown does not occur.; int10 & sent9 -> int11: the heroine does not occur.; int11 & sent8 -> hypothesis;
$hypothesis$ = the amauroticness does not occur. ; $context$ = sent1: that not the coruscation but the armorialness occurs is not true. sent2: the terrestrialness occurs if the Energy occurs. sent3: the fact that not the wrath but the flexibleness occurs is wrong if the volcanism occurs. sent4: that the spelldown happens is prevented by either that the Energy does not occur or that the navigation does not occur or both. sent5: if that the wrath does not occur and the flexibleness happens is false that the wrath happens is true. sent6: if that the coruscation does not occur and the armorialness happens is not correct then the terrestrialness does not occur. sent7: the orchiopexy occurs and the volcanism occurs. sent8: the amauroticness does not occur if the heroine does not occur. sent9: that the wrath occurs and the spelldown does not occur prevents the heroine. ; $proof$ = 
void -> assump1: Let's assume that the Energy occurs.; sent2 & assump1 -> int1: the terrestrialness happens.; sent6 & sent1 -> int2: the terrestrialness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Energy does not occur is not incorrect.; int4 -> int5: the Energy does not occur and/or the navigation does not occur.; int5 & sent4 -> int6: the spelldown does not occur.; sent7 -> int7: that the volcanism occurs is not wrong.; sent3 & int7 -> int8: the fact that the wrath does not occur but the flexibleness happens is not true.; sent5 & int8 -> int9: the wrath occurs.; int6 & int9 -> int10: the wrath occurs but the spelldown does not occur.; int10 & sent9 -> int11: the heroine does not occur.; int11 & sent8 -> hypothesis; __PROVED__