the casing does not occur.
sent1: the case happens if both the incorporating particularization and the non-ceremoniousness happens. sent2: the exhaustibleness does not occur and the backfiring does not occur. sent3: the non-likingness and the non-carcinomatousness occurs. sent4: the eleven-plus occurs. sent5: the ceremoniousness does not occur and the incorporating particularization does not occur. sent6: that the tinseling Donne occurs but the casing does not occur is wrong. sent7: the incorporating particularization does not occur. sent8: that the anagrams does not occur and the energy does not occur is not right. sent9: the compromise does not occur and the gyralness does not occur. sent10: the Belarusian occurs. sent11: the tinseling Abutilon occurs if that the briefing Hurok does not occur and the afraidness does not occur is not right. sent12: the splintering does not occur and the discrimination does not occur. sent13: the regulating does not occur and the rehearsal does not occur. sent14: the ceremoniousness happens if the fact that the tinseling Donne does not occur and the casing does not occur does not hold. sent15: the fact that the horseplay does not occur and the motivation does not occur is not correct. sent16: the fact that the fact that the tinseling Donne does not occur but the casing happens is not correct hold. sent17: the renewableness does not occur and the supplication does not occur.
void -> assump1: Let's assume that that the tinseling Donne does not occur and the casing does not occur is false.; sent14 & assump1 -> int1: the ceremoniousness happens.; sent5 -> int2: the ceremoniousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tinseling Donne does not occur and the casing does not occur.; int4 -> hypothesis;
the case occurs.
$hypothesis$ = the casing does not occur. ; $context$ = sent1: the case happens if both the incorporating particularization and the non-ceremoniousness happens. sent2: the exhaustibleness does not occur and the backfiring does not occur. sent3: the non-likingness and the non-carcinomatousness occurs. sent4: the eleven-plus occurs. sent5: the ceremoniousness does not occur and the incorporating particularization does not occur. sent6: that the tinseling Donne occurs but the casing does not occur is wrong. sent7: the incorporating particularization does not occur. sent8: that the anagrams does not occur and the energy does not occur is not right. sent9: the compromise does not occur and the gyralness does not occur. sent10: the Belarusian occurs. sent11: the tinseling Abutilon occurs if that the briefing Hurok does not occur and the afraidness does not occur is not right. sent12: the splintering does not occur and the discrimination does not occur. sent13: the regulating does not occur and the rehearsal does not occur. sent14: the ceremoniousness happens if the fact that the tinseling Donne does not occur and the casing does not occur does not hold. sent15: the fact that the horseplay does not occur and the motivation does not occur is not correct. sent16: the fact that the fact that the tinseling Donne does not occur but the casing happens is not correct hold. sent17: the renewableness does not occur and the supplication does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the tinseling Donne does not occur and the casing does not occur is false.; sent14 & assump1 -> int1: the ceremoniousness happens.; sent5 -> int2: the ceremoniousness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tinseling Donne does not occur and the casing does not occur.; int4 -> hypothesis; __PROVED__