the lowbornness does not occur.
sent1: the territorialization does not occur. sent2: if that the singularizing profusion does not occur and the repining keystone happens does not hold the singularizing profusion occurs. sent3: the Lamarckianness does not occur and the territorialization does not occur if the celebration does not occur. sent4: the repining gatepost does not occur. sent5: if the melanizing Wheeler does not occur then the Lamarckian but not the territorialization happens. sent6: the decortication does not occur if both the worthy and the non-effervescentness happens. sent7: that the singularizing profusion does not occur but the celebration happens is false if the lowbornness occurs. sent8: the repining XX does not occur and the Sardinianness does not occur if the melanizing Wheeler occurs. sent9: the fact that that not the singularizing profusion but the repining keystone happens is true is false. sent10: that the bong does not occur causes that both the worthy and the noneffervescentness happens. sent11: the celebration does not occur and the singularizing profusion does not occur if the congruentness occurs. sent12: that the repining XX occurs is correct if the singularizing profusion happens. sent13: the fact that both the non-congruentness and the repining keystone occurs is not true if the decortication happens. sent14: if that both the non-congruentness and the repining keystone happens is false the fact that the lowbornness happens is not wrong. sent15: the Lamarckian and/or that the celebration happens prevents the lowbornness. sent16: if the melanizing Wheeler occurs then the Sardinianness does not occur. sent17: that if the worthy happens the decortication occurs hold. sent18: the Sardinianness does not occur. sent19: that the dinging does not occur and the linemen happens does not hold. sent20: that the melanizing Wheeler does not occur brings about that the territorialization does not occur.
void -> assump1: Let's assume that the melanizing Wheeler happens.; sent8 & assump1 -> int1: the repining XX does not occur and the Sardinianness does not occur.; int1 -> int2: the repining XX does not occur.; sent2 & sent9 -> int3: the singularizing profusion occurs.; sent12 & int3 -> int4: the repining XX occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the melanizing Wheeler does not occur.; int6 & sent5 -> int7: the Lamarckian but not the territorialization occurs.; int7 -> int8: the Lamarckian happens.; int8 -> int9: either the Lamarckianness or the celebration or both happens.; int9 & sent15 -> hypothesis;
the lowbornness happens.
$hypothesis$ = the lowbornness does not occur. ; $context$ = sent1: the territorialization does not occur. sent2: if that the singularizing profusion does not occur and the repining keystone happens does not hold the singularizing profusion occurs. sent3: the Lamarckianness does not occur and the territorialization does not occur if the celebration does not occur. sent4: the repining gatepost does not occur. sent5: if the melanizing Wheeler does not occur then the Lamarckian but not the territorialization happens. sent6: the decortication does not occur if both the worthy and the non-effervescentness happens. sent7: that the singularizing profusion does not occur but the celebration happens is false if the lowbornness occurs. sent8: the repining XX does not occur and the Sardinianness does not occur if the melanizing Wheeler occurs. sent9: the fact that that not the singularizing profusion but the repining keystone happens is true is false. sent10: that the bong does not occur causes that both the worthy and the noneffervescentness happens. sent11: the celebration does not occur and the singularizing profusion does not occur if the congruentness occurs. sent12: that the repining XX occurs is correct if the singularizing profusion happens. sent13: the fact that both the non-congruentness and the repining keystone occurs is not true if the decortication happens. sent14: if that both the non-congruentness and the repining keystone happens is false the fact that the lowbornness happens is not wrong. sent15: the Lamarckian and/or that the celebration happens prevents the lowbornness. sent16: if the melanizing Wheeler occurs then the Sardinianness does not occur. sent17: that if the worthy happens the decortication occurs hold. sent18: the Sardinianness does not occur. sent19: that the dinging does not occur and the linemen happens does not hold. sent20: that the melanizing Wheeler does not occur brings about that the territorialization does not occur. ; $proof$ = 
void -> assump1: Let's assume that the melanizing Wheeler happens.; sent8 & assump1 -> int1: the repining XX does not occur and the Sardinianness does not occur.; int1 -> int2: the repining XX does not occur.; sent2 & sent9 -> int3: the singularizing profusion occurs.; sent12 & int3 -> int4: the repining XX occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the melanizing Wheeler does not occur.; int6 & sent5 -> int7: the Lamarckian but not the territorialization occurs.; int7 -> int8: the Lamarckian happens.; int8 -> int9: either the Lamarckianness or the celebration or both happens.; int9 & sent15 -> hypothesis; __PROVED__