not the subsiding dinnerware but the guarding show happens.
sent1: the fact that the twisting occurs is not incorrect. sent2: not the idealizing wafer but the determinableness occurs. sent3: the idealizing Herder occurs if the canalization occurs. sent4: the subsiding rouged does not occur if the fact that the slowness does not occur is not incorrect. sent5: the trochaicness happens if the revelation does not occur and the topped does not occur. sent6: that the guarding show does not occur and the glyptography does not occur is triggered by the seconding. sent7: the tympanoplasty occurs if the fact that the caravanning happens is correct. sent8: that the executive does not occur and the imperative happens is caused by that the innerness happens. sent9: the slowing occurs if the offingness occurs. sent10: the topping does not occur. sent11: if the glyptography happens the guarding show occurs. sent12: the grapevine and the secondness happens if that the executive does not occur is true. sent13: the questionableness happens. sent14: the subsiding dinnerware does not occur if the revelation does not occur. sent15: that the topped occurs is true if the revelation happens. sent16: the glyptography occurs.
void -> assump1: Let's assume that the revelation happens.; sent15 & assump1 -> int1: the toppedness occurs.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the revelation does not occur hold.; int3 & sent14 -> int4: the subsiding dinnerware does not occur.; sent11 & sent16 -> int5: the guarding show happens.; int4 & int5 -> hypothesis;
the trochaicness happens.
$hypothesis$ = not the subsiding dinnerware but the guarding show happens. ; $context$ = sent1: the fact that the twisting occurs is not incorrect. sent2: not the idealizing wafer but the determinableness occurs. sent3: the idealizing Herder occurs if the canalization occurs. sent4: the subsiding rouged does not occur if the fact that the slowness does not occur is not incorrect. sent5: the trochaicness happens if the revelation does not occur and the topped does not occur. sent6: that the guarding show does not occur and the glyptography does not occur is triggered by the seconding. sent7: the tympanoplasty occurs if the fact that the caravanning happens is correct. sent8: that the executive does not occur and the imperative happens is caused by that the innerness happens. sent9: the slowing occurs if the offingness occurs. sent10: the topping does not occur. sent11: if the glyptography happens the guarding show occurs. sent12: the grapevine and the secondness happens if that the executive does not occur is true. sent13: the questionableness happens. sent14: the subsiding dinnerware does not occur if the revelation does not occur. sent15: that the topped occurs is true if the revelation happens. sent16: the glyptography occurs. ; $proof$ = 
void -> assump1: Let's assume that the revelation happens.; sent15 & assump1 -> int1: the toppedness occurs.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the revelation does not occur hold.; int3 & sent14 -> int4: the subsiding dinnerware does not occur.; sent11 & sent16 -> int5: the guarding show happens.; int4 & int5 -> hypothesis; __PROVED__