the reflectiveness does not occur.
sent1: the advectiveness occurs. sent2: if the fact that both the callosotomy and the accountantship occurs is not correct then the interpreting Pole does not occur. sent3: the advectiveness occurs and the dunning vulcanite occurs. sent4: if the fact that the non-Atlanticness and the accountantship happens is not right then the dunning vulcanite does not occur. sent5: the unscalableness occurs. sent6: the dunning Wesleyanism occurs. sent7: the fact that both the Atlantic and the accountantship happens is false. sent8: if the callosotomy and the dunning Wesleyanism occurs the reflectiveness does not occur. sent9: if the decalescence does not occur then that not the Atlantic but the accountantship happens does not hold. sent10: if the fact that the callosotomy happens is not right not the decalescence but the unscalableness occurs.
void -> assump1: Let's assume that the callosotomy does not occur.; sent10 & assump1 -> int1: not the decalescence but the unscalableness occurs.; int1 -> int2: the fact that the decalescence does not occur is correct.; int2 & sent9 -> int3: that the Atlanticness does not occur but the accountantship occurs is incorrect.; int3 & sent4 -> int4: that the dunning vulcanite does not occur is true.; sent3 -> int5: the dunning vulcanite occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the callosotomy occurs.; int7 & sent6 -> int8: both the callosotomy and the dunning Wesleyanism occurs.; int8 & sent8 -> hypothesis;
the interpreting Pole does not occur.
$hypothesis$ = the reflectiveness does not occur. ; $context$ = sent1: the advectiveness occurs. sent2: if the fact that both the callosotomy and the accountantship occurs is not correct then the interpreting Pole does not occur. sent3: the advectiveness occurs and the dunning vulcanite occurs. sent4: if the fact that the non-Atlanticness and the accountantship happens is not right then the dunning vulcanite does not occur. sent5: the unscalableness occurs. sent6: the dunning Wesleyanism occurs. sent7: the fact that both the Atlantic and the accountantship happens is false. sent8: if the callosotomy and the dunning Wesleyanism occurs the reflectiveness does not occur. sent9: if the decalescence does not occur then that not the Atlantic but the accountantship happens does not hold. sent10: if the fact that the callosotomy happens is not right not the decalescence but the unscalableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the callosotomy does not occur.; sent10 & assump1 -> int1: not the decalescence but the unscalableness occurs.; int1 -> int2: the fact that the decalescence does not occur is correct.; int2 & sent9 -> int3: that the Atlanticness does not occur but the accountantship occurs is incorrect.; int3 & sent4 -> int4: that the dunning vulcanite does not occur is true.; sent3 -> int5: the dunning vulcanite occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the callosotomy occurs.; int7 & sent6 -> int8: both the callosotomy and the dunning Wesleyanism occurs.; int8 & sent8 -> hypothesis; __PROVED__