that the Newtonianness occurs is not false.
sent1: if that the triumph does not occur is not false the Newtonianness does not occur. sent2: if the masonry does not occur the unicellularness does not occur but the astrophysicalness occurs. sent3: the unicellularness happens. sent4: that the exactaness happens and the privation occurs is triggered by that the purifying gobble does not occur. sent5: the purifying gobble does not occur but the vaulting Catholic happens. sent6: if both the masonry and the exactaness happens then the triumph does not occur. sent7: that the Newtonian and the masonry occurs is triggered by the non-exactaness. sent8: if the privation does not occur the exactaness does not occur and the triumph happens.
void -> assump1: Let's assume that the masonry does not occur.; sent2 & assump1 -> int1: not the unicellularness but the astrophysicalness happens.; int1 -> int2: the unicellularness does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the masonry occurs is not incorrect.; sent5 -> int5: the fact that the purifying gobble happens is false.; sent4 & int5 -> int6: the exactaness happens and the privation happens.; int6 -> int7: the exactaness occurs.; int4 & int7 -> int8: the masonry occurs and the exactaness happens.; int8 & sent6 -> int9: the triumph does not occur.; int9 & sent1 -> hypothesis;
the Newtonianness happens.
$hypothesis$ = that the Newtonianness occurs is not false. ; $context$ = sent1: if that the triumph does not occur is not false the Newtonianness does not occur. sent2: if the masonry does not occur the unicellularness does not occur but the astrophysicalness occurs. sent3: the unicellularness happens. sent4: that the exactaness happens and the privation occurs is triggered by that the purifying gobble does not occur. sent5: the purifying gobble does not occur but the vaulting Catholic happens. sent6: if both the masonry and the exactaness happens then the triumph does not occur. sent7: that the Newtonian and the masonry occurs is triggered by the non-exactaness. sent8: if the privation does not occur the exactaness does not occur and the triumph happens. ; $proof$ = 
void -> assump1: Let's assume that the masonry does not occur.; sent2 & assump1 -> int1: not the unicellularness but the astrophysicalness happens.; int1 -> int2: the unicellularness does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the masonry occurs is not incorrect.; sent5 -> int5: the fact that the purifying gobble happens is false.; sent4 & int5 -> int6: the exactaness happens and the privation happens.; int6 -> int7: the exactaness occurs.; int4 & int7 -> int8: the masonry occurs and the exactaness happens.; int8 & sent6 -> int9: the triumph does not occur.; int9 & sent1 -> hypothesis; __DISPROVED__