the getting does not occur.
sent1: that the TELINT does not occur but the incendiary happens does not hold if the reorientation occurs. sent2: the erythropoieticness leads to the non-upstageness and/or that the nonmigratoriness happens. sent3: the get does not occur if the lobularness does not occur and the lunching letterhead does not occur. sent4: the lunching letterhead is prevented by the pedicure. sent5: the fact that either the upstaging does not occur or the nonmigratoriness happens or both is not correct if the majusculeness does not occur. sent6: the nonsyllabicness does not occur. sent7: if that the TELINT does not occur and the incendiary happens is wrong then the unairworthiness does not occur. sent8: if the majusculeness occurs then the pedicuring occurs. sent9: if the fact that the majusculeness happens and the embrace occurs is false then the embrace does not occur. sent10: if the unairworthiness does not occur that the lobularness happens and the raree-show happens does not hold. sent11: if that both the lobularness and the raree-show happens is not true then the lobularness does not occur. sent12: the fact that both the tacticalness and the undrinkableness happens does not hold. sent13: the pedicuring is prevented by that the lobularness occurs and the lunching letterhead occurs. sent14: the fact that the majusculeness occurs and the embrace happens is wrong if the pedicure does not occur. sent15: the reorientation happens. sent16: the erythropoieticness happens.
void -> assump1: Let's assume that that the majusculeness does not occur is not false.; sent5 & assump1 -> int1: the fact that the upstage does not occur or the nonmigratoriness happens or both is false.; sent2 & sent16 -> int2: that the non-upstageness or the nonmigratoriness or both occurs is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the majusculeness happens.; int4 & sent8 -> int5: the pedicure occurs.; int5 & sent4 -> int6: the lunching letterhead does not occur.; sent1 & sent15 -> int7: the fact that not the TELINT but the incendiary occurs is incorrect.; sent7 & int7 -> int8: that the unairworthiness does not occur is correct.; sent10 & int8 -> int9: that the lobularness and the raree-show occurs does not hold.; sent11 & int9 -> int10: that the lobularness does not occur hold.; int6 & int10 -> int11: the lobularness does not occur and the lunching letterhead does not occur.; int11 & sent3 -> hypothesis;
the embrace does not occur.
$hypothesis$ = the getting does not occur. ; $context$ = sent1: that the TELINT does not occur but the incendiary happens does not hold if the reorientation occurs. sent2: the erythropoieticness leads to the non-upstageness and/or that the nonmigratoriness happens. sent3: the get does not occur if the lobularness does not occur and the lunching letterhead does not occur. sent4: the lunching letterhead is prevented by the pedicure. sent5: the fact that either the upstaging does not occur or the nonmigratoriness happens or both is not correct if the majusculeness does not occur. sent6: the nonsyllabicness does not occur. sent7: if that the TELINT does not occur and the incendiary happens is wrong then the unairworthiness does not occur. sent8: if the majusculeness occurs then the pedicuring occurs. sent9: if the fact that the majusculeness happens and the embrace occurs is false then the embrace does not occur. sent10: if the unairworthiness does not occur that the lobularness happens and the raree-show happens does not hold. sent11: if that both the lobularness and the raree-show happens is not true then the lobularness does not occur. sent12: the fact that both the tacticalness and the undrinkableness happens does not hold. sent13: the pedicuring is prevented by that the lobularness occurs and the lunching letterhead occurs. sent14: the fact that the majusculeness occurs and the embrace happens is wrong if the pedicure does not occur. sent15: the reorientation happens. sent16: the erythropoieticness happens. ; $proof$ = 
void -> assump1: Let's assume that that the majusculeness does not occur is not false.; sent5 & assump1 -> int1: the fact that the upstage does not occur or the nonmigratoriness happens or both is false.; sent2 & sent16 -> int2: that the non-upstageness or the nonmigratoriness or both occurs is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the majusculeness happens.; int4 & sent8 -> int5: the pedicure occurs.; int5 & sent4 -> int6: the lunching letterhead does not occur.; sent1 & sent15 -> int7: the fact that not the TELINT but the incendiary occurs is incorrect.; sent7 & int7 -> int8: that the unairworthiness does not occur is correct.; sent10 & int8 -> int9: that the lobularness and the raree-show occurs does not hold.; sent11 & int9 -> int10: that the lobularness does not occur hold.; int6 & int10 -> int11: the lobularness does not occur and the lunching letterhead does not occur.; int11 & sent3 -> hypothesis; __PROVED__