the optionalness does not occur.
sent1: that the swiping does not occur and the vegetation does not occur prevents that the optionalness happens. sent2: that the boxing or the non-pyrotechnicsness or both occurs is wrong if the fact that the coronation occurs is not incorrect. sent3: the swiping does not occur and the finalizing manganate does not occur. sent4: if the coronation does not occur that the craning windstorm happens and the hexangularness happens is wrong. sent5: if the fact that that both the craning windstorm and the hexangularness occurs is true is not true the vegetation does not occur. sent6: the boxing happens.
void -> assump1: Let's assume that the coronation occurs.; sent2 & assump1 -> int1: that the boxing occurs or the pyrotechnicsness does not occur or both does not hold.; sent6 -> int2: the boxing occurs or the pyrotechnicsness does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the coronation does not occur.; int4 & sent4 -> int5: the fact that the craning windstorm and the hexangularness happens is wrong.; int5 & sent5 -> int6: the vegetation does not occur.; sent3 -> int7: the swiping does not occur.; int6 & int7 -> int8: the swiping does not occur and the vegetation does not occur.; int8 & sent1 -> hypothesis;
$hypothesis$ = the optionalness does not occur. ; $context$ = sent1: that the swiping does not occur and the vegetation does not occur prevents that the optionalness happens. sent2: that the boxing or the non-pyrotechnicsness or both occurs is wrong if the fact that the coronation occurs is not incorrect. sent3: the swiping does not occur and the finalizing manganate does not occur. sent4: if the coronation does not occur that the craning windstorm happens and the hexangularness happens is wrong. sent5: if the fact that that both the craning windstorm and the hexangularness occurs is true is not true the vegetation does not occur. sent6: the boxing happens. ; $proof$ = 
void -> assump1: Let's assume that the coronation occurs.; sent2 & assump1 -> int1: that the boxing occurs or the pyrotechnicsness does not occur or both does not hold.; sent6 -> int2: the boxing occurs or the pyrotechnicsness does not occur or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the coronation does not occur.; int4 & sent4 -> int5: the fact that the craning windstorm and the hexangularness happens is wrong.; int5 & sent5 -> int6: the vegetation does not occur.; sent3 -> int7: the swiping does not occur.; int6 & int7 -> int8: the swiping does not occur and the vegetation does not occur.; int8 & sent1 -> hypothesis; __PROVED__