the entomophilousness happens if the enema occurs.
sent1: both the labyrinthineness and the acceleration happens. sent2: the match does not occur. sent3: the fact that the indicativeness occurs but the acceleration does not occur is not true if the labyrinthineness does not occur. sent4: the tanning does not occur. sent5: if the bordering Georgetown does not occur then the postmeridianness occurs. sent6: the entomophilousness does not occur if the non-postmeridianness and the non-purposefulness occurs. sent7: the postmeridianness occurs. sent8: if the Ravel does not occur the Frisian occurs and the .38-caliberness occurs. sent9: if the bordering historicism occurs the non-postmeridianness and the non-purposefulness happens. sent10: if the fact that the crabs happens hold then the granulocyticness happens. sent11: the fact that the acceleration occurs is correct. sent12: that the enema occurs is brought about by that both the bordering Georgetown and the labyrinthineness occurs. sent13: the detraining indiscipline and the bordering bull happens. sent14: that both the postmeridianness and the entomophilousness happens is triggered by that the bordering Georgetown does not occur. sent15: if the fact that the indicative occurs and the acceleration does not occur is incorrect then the indicative does not occur. sent16: if the bordering Georgetown occurs and the labyrinthineness occurs then the enema does not occur.
void -> assump1: Let's assume that the enema occurs.; void -> assump2: Let's assume that the bordering Georgetown occurs.; sent1 -> int1: that the labyrinthineness occurs is not wrong.; assump2 & int1 -> int2: the bordering Georgetown occurs and the labyrinthineness happens.; sent16 & int2 -> int3: the enema does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the bordering Georgetown does not occur is correct.; sent14 & int5 -> int6: both the postmeridianness and the entomophilousness happens.; int6 -> int7: the entomophilousness happens.; [assump1] & int7 -> hypothesis;
that the indicative does not occur is true.
$hypothesis$ = the entomophilousness happens if the enema occurs. ; $context$ = sent1: both the labyrinthineness and the acceleration happens. sent2: the match does not occur. sent3: the fact that the indicativeness occurs but the acceleration does not occur is not true if the labyrinthineness does not occur. sent4: the tanning does not occur. sent5: if the bordering Georgetown does not occur then the postmeridianness occurs. sent6: the entomophilousness does not occur if the non-postmeridianness and the non-purposefulness occurs. sent7: the postmeridianness occurs. sent8: if the Ravel does not occur the Frisian occurs and the .38-caliberness occurs. sent9: if the bordering historicism occurs the non-postmeridianness and the non-purposefulness happens. sent10: if the fact that the crabs happens hold then the granulocyticness happens. sent11: the fact that the acceleration occurs is correct. sent12: that the enema occurs is brought about by that both the bordering Georgetown and the labyrinthineness occurs. sent13: the detraining indiscipline and the bordering bull happens. sent14: that both the postmeridianness and the entomophilousness happens is triggered by that the bordering Georgetown does not occur. sent15: if the fact that the indicative occurs and the acceleration does not occur is incorrect then the indicative does not occur. sent16: if the bordering Georgetown occurs and the labyrinthineness occurs then the enema does not occur. ; $proof$ = 
void -> assump1: Let's assume that the enema occurs.; void -> assump2: Let's assume that the bordering Georgetown occurs.; sent1 -> int1: that the labyrinthineness occurs is not wrong.; assump2 & int1 -> int2: the bordering Georgetown occurs and the labyrinthineness happens.; sent16 & int2 -> int3: the enema does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the bordering Georgetown does not occur is correct.; sent14 & int5 -> int6: both the postmeridianness and the entomophilousness happens.; int6 -> int7: the entomophilousness happens.; [assump1] & int7 -> hypothesis; __PROVED__