the regularness does not occur if the Regency does not occur.
sent1: if that the tune occurs is not false then the fact that the backstopping vintager does not occur is not false. sent2: if the lidlessness happens then the gainer does not occur. sent3: the shearing happens. sent4: the cleanliness happens. sent5: the artillery occurs. sent6: the Kafkaesqueness does not occur. sent7: the basidiomycetousness happens. sent8: that the regularness occurs is triggered by that the Regency does not occur. sent9: the fact that the underquoting happens hold. sent10: if the backstopping sapper does not occur then the unsteadiness occurs. sent11: both the reluctance and the shearing occurs. sent12: if the Regency occurs the regular does not occur. sent13: that not the Regency but the palatalizing Cuquenan happens leads to that the reluctance does not occur. sent14: the sacramentalness happens and the restrictiveness happens. sent15: that the reluctance does not occur is caused by that both the Regency and the palatalizing Cuquenan happens. sent16: if that the dueling but not the palatalizing Cuquenan occurs is wrong then the dueling does not occur. sent17: the aeriferousness happens. sent18: if the palatalizing Cuquenan does not occur then the regular does not occur.
void -> assump2: Let's assume that the Regency does not occur.; void -> assump1: Let's assume that the palatalizing Cuquenan occurs.; assump2 & assump1 -> int1: not the Regency but the palatalizing Cuquenan occurs.; int1 & sent13 -> int2: the reluctance does not occur.; sent11 -> int3: the reluctance occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the palatalizing Cuquenan does not occur.; int5 & sent18 -> int6: the regular does not occur.; [assump2] & int6 -> hypothesis;
the dueling does not occur.
$hypothesis$ = the regularness does not occur if the Regency does not occur. ; $context$ = sent1: if that the tune occurs is not false then the fact that the backstopping vintager does not occur is not false. sent2: if the lidlessness happens then the gainer does not occur. sent3: the shearing happens. sent4: the cleanliness happens. sent5: the artillery occurs. sent6: the Kafkaesqueness does not occur. sent7: the basidiomycetousness happens. sent8: that the regularness occurs is triggered by that the Regency does not occur. sent9: the fact that the underquoting happens hold. sent10: if the backstopping sapper does not occur then the unsteadiness occurs. sent11: both the reluctance and the shearing occurs. sent12: if the Regency occurs the regular does not occur. sent13: that not the Regency but the palatalizing Cuquenan happens leads to that the reluctance does not occur. sent14: the sacramentalness happens and the restrictiveness happens. sent15: that the reluctance does not occur is caused by that both the Regency and the palatalizing Cuquenan happens. sent16: if that the dueling but not the palatalizing Cuquenan occurs is wrong then the dueling does not occur. sent17: the aeriferousness happens. sent18: if the palatalizing Cuquenan does not occur then the regular does not occur. ; $proof$ = 
void -> assump2: Let's assume that the Regency does not occur.; void -> assump1: Let's assume that the palatalizing Cuquenan occurs.; assump2 & assump1 -> int1: not the Regency but the palatalizing Cuquenan occurs.; int1 & sent13 -> int2: the reluctance does not occur.; sent11 -> int3: the reluctance occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the palatalizing Cuquenan does not occur.; int5 & sent18 -> int6: the regular does not occur.; [assump2] & int6 -> hypothesis; __PROVED__