that the shrift or the diving or both occurs hold.
sent1: that not the fatality but the quotableness happens prevents the algebraicness. sent2: if the illusion happens then the shrift happens. sent3: that the shrift does not occur and/or that the illusion does not occur brings about that the exceeding mystique occurs. sent4: the fact that both the whitewash and the fatality occurs is false if the fact that the membranousness does not occur is true. sent5: if the phalangealness does not occur the fact that the speech does not occur and the inelegantness does not occur is not true. sent6: the fact that not the speech but the inelegantness occurs is wrong. sent7: that both the speech and the non-inelegantness happens does not hold. sent8: not the membranousness but the exceeding ape-man occurs. sent9: the speech does not occur and the inelegantness does not occur if the illusion does not occur. sent10: that the speech does not occur but the inelegantness happens is not correct if that the phalangealness does not occur is correct. sent11: if the fact that the phalangealness does not occur is true then that both the speech and the non-inelegantness occurs is wrong. sent12: if the fact that the whitewashing occurs and the fatality happens is not true then the fatality does not occur. sent13: the phalangealness does not occur. sent14: the shrift does not occur or the illusion does not occur or both if the diving does not occur. sent15: if the algebraicness does not occur then either the concluding happens or the phalangealness happens or both.
void -> assump1: Let's assume that the illusion does not occur.; sent9 & assump1 -> int1: the speech does not occur and the inelegantness does not occur.; sent5 & sent13 -> int2: the fact that the speech does not occur and the inelegantness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the illusion occurs.; int4 & sent2 -> int5: the shrift happens.; int5 -> hypothesis;
the exceeding mystique happens.
sent8 -> int6: the membranousness does not occur.; sent4 & int6 -> int7: the fact that the whitewash occurs and the fatality occurs does not hold.; sent12 & int7 -> int8: the fatality does not occur.;
$hypothesis$ = that the shrift or the diving or both occurs hold. ; $context$ = sent1: that not the fatality but the quotableness happens prevents the algebraicness. sent2: if the illusion happens then the shrift happens. sent3: that the shrift does not occur and/or that the illusion does not occur brings about that the exceeding mystique occurs. sent4: the fact that both the whitewash and the fatality occurs is false if the fact that the membranousness does not occur is true. sent5: if the phalangealness does not occur the fact that the speech does not occur and the inelegantness does not occur is not true. sent6: the fact that not the speech but the inelegantness occurs is wrong. sent7: that both the speech and the non-inelegantness happens does not hold. sent8: not the membranousness but the exceeding ape-man occurs. sent9: the speech does not occur and the inelegantness does not occur if the illusion does not occur. sent10: that the speech does not occur but the inelegantness happens is not correct if that the phalangealness does not occur is correct. sent11: if the fact that the phalangealness does not occur is true then that both the speech and the non-inelegantness occurs is wrong. sent12: if the fact that the whitewashing occurs and the fatality happens is not true then the fatality does not occur. sent13: the phalangealness does not occur. sent14: the shrift does not occur or the illusion does not occur or both if the diving does not occur. sent15: if the algebraicness does not occur then either the concluding happens or the phalangealness happens or both. ; $proof$ = 
void -> assump1: Let's assume that the illusion does not occur.; sent9 & assump1 -> int1: the speech does not occur and the inelegantness does not occur.; sent5 & sent13 -> int2: the fact that the speech does not occur and the inelegantness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the illusion occurs.; int4 & sent2 -> int5: the shrift happens.; int5 -> hypothesis; __PROVED__