if the botanicness occurs then the fact that the overtness occurs is correct.
sent1: the fact that the realization and the roads occurs is not true. sent2: the bombardment does not occur if the fact that the freckling conversationalist but not the farting borzoi occurs is false. sent3: the Napoleon does not occur if the fact that the perception but not the titrating happens is not right. sent4: the Napoleon does not occur if the perception does not occur. sent5: the guffaw does not occur if that the diligence occurs but the fenestration does not occur is incorrect. sent6: that the pileup does not occur brings about that the roads does not occur. sent7: the compoundness occurs. sent8: that the realization but not the roads occurs is not correct if the banking does not occur. sent9: the roads happens if that that the realization happens but the roads does not occur is true is not correct. sent10: if the illegalness does not occur that the projection happens but the freckling suavity does not occur is false. sent11: the clanging does not occur. sent12: the banking does not occur. sent13: the unsinkableness occurs. sent14: if the fact that the pileup happens and the drollery does not occur is not right then the roads does not occur. sent15: the passableness happens but the literateness does not occur. sent16: if the titrating does not occur that the pileup but not the drollery happens does not hold. sent17: if the bank does not occur the fact that the realization happens and the roads happens is wrong. sent18: that the theatrical and the non-.22-caliberness occurs causes the yips. sent19: that the farting classical occurs is not false. sent20: if that the Lithuanianness but not the freckling trusty happens does not hold the farting fillet does not occur. sent21: that the overtness occurs is brought about by that the botanicness occurs but the Napoleon does not occur. sent22: the monocarpicness occurs. sent23: the perception happens.
void -> assump1: Let's assume that the perception occurs and the titrating does not occur.; assump1 -> int1: the titrating does not occur.; int1 & sent16 -> int2: that the pileup but not the drollery happens is not right.; int2 & sent14 -> int3: the roads does not occur.; sent8 & sent12 -> int4: that the realization but not the roads occurs is incorrect.; sent9 & int4 -> int5: the roads occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the perception but not the titrating happens is wrong.; int7 & sent3 -> int8: the fact that the Napoleon does not occur hold.; void -> assump2: Let's assume that the botanicness happens.; int8 & assump2 -> int9: the botanicness but not the Napoleon occurs.; int9 & sent21 -> int10: the overtness occurs.; [assump2] & int10 -> hypothesis;
$hypothesis$ = if the botanicness occurs then the fact that the overtness occurs is correct. ; $context$ = sent1: the fact that the realization and the roads occurs is not true. sent2: the bombardment does not occur if the fact that the freckling conversationalist but not the farting borzoi occurs is false. sent3: the Napoleon does not occur if the fact that the perception but not the titrating happens is not right. sent4: the Napoleon does not occur if the perception does not occur. sent5: the guffaw does not occur if that the diligence occurs but the fenestration does not occur is incorrect. sent6: that the pileup does not occur brings about that the roads does not occur. sent7: the compoundness occurs. sent8: that the realization but not the roads occurs is not correct if the banking does not occur. sent9: the roads happens if that that the realization happens but the roads does not occur is true is not correct. sent10: if the illegalness does not occur that the projection happens but the freckling suavity does not occur is false. sent11: the clanging does not occur. sent12: the banking does not occur. sent13: the unsinkableness occurs. sent14: if the fact that the pileup happens and the drollery does not occur is not right then the roads does not occur. sent15: the passableness happens but the literateness does not occur. sent16: if the titrating does not occur that the pileup but not the drollery happens does not hold. sent17: if the bank does not occur the fact that the realization happens and the roads happens is wrong. sent18: that the theatrical and the non-.22-caliberness occurs causes the yips. sent19: that the farting classical occurs is not false. sent20: if that the Lithuanianness but not the freckling trusty happens does not hold the farting fillet does not occur. sent21: that the overtness occurs is brought about by that the botanicness occurs but the Napoleon does not occur. sent22: the monocarpicness occurs. sent23: the perception happens. ; $proof$ = 
void -> assump1: Let's assume that the perception occurs and the titrating does not occur.; assump1 -> int1: the titrating does not occur.; int1 & sent16 -> int2: that the pileup but not the drollery happens is not right.; int2 & sent14 -> int3: the roads does not occur.; sent8 & sent12 -> int4: that the realization but not the roads occurs is incorrect.; sent9 & int4 -> int5: the roads occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the perception but not the titrating happens is wrong.; int7 & sent3 -> int8: the fact that the Napoleon does not occur hold.; void -> assump2: Let's assume that the botanicness happens.; int8 & assump2 -> int9: the botanicness but not the Napoleon occurs.; int9 & sent21 -> int10: the overtness occurs.; [assump2] & int10 -> hypothesis; __PROVED__