the deflation does not occur but the boning nightrider occurs.
sent1: the heightening does not occur. sent2: the boning nightrider occurs. sent3: the callosotomy does not occur if the boning nightrider does not occur. sent4: the walking rook does not occur. sent5: if the heightening occurs the firebombing arthroscope does not occur but the detonating occurs. sent6: if the heightening occurs then that the deflation does not occur and the boning nightrider occurs is false. sent7: that the callosotomy occurs is caused by that the heightening does not occur. sent8: the callosotomy does not occur if the fact that the deflation does not occur but the boning nightrider occurs is incorrect.
void -> assump1: Let's assume that that the deflation does not occur but the boning nightrider occurs is not correct.; sent8 & assump1 -> int1: the fact that the callosotomy does not occur is true.; sent7 & sent1 -> int2: the callosotomy occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that not the deflation but the boning nightrider happens is not correct.
$hypothesis$ = the deflation does not occur but the boning nightrider occurs. ; $context$ = sent1: the heightening does not occur. sent2: the boning nightrider occurs. sent3: the callosotomy does not occur if the boning nightrider does not occur. sent4: the walking rook does not occur. sent5: if the heightening occurs the firebombing arthroscope does not occur but the detonating occurs. sent6: if the heightening occurs then that the deflation does not occur and the boning nightrider occurs is false. sent7: that the callosotomy occurs is caused by that the heightening does not occur. sent8: the callosotomy does not occur if the fact that the deflation does not occur but the boning nightrider occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the deflation does not occur but the boning nightrider occurs is not correct.; sent8 & assump1 -> int1: the fact that the callosotomy does not occur is true.; sent7 & sent1 -> int2: the callosotomy occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__