that the divi-divi is not a kind of a comedown is not false.
sent1: if something is a precociousness then it is not a midwinter. sent2: the failure is a Bakelite if there is something such that the fact that it fingers hallelujah and it does not finger scrap is not true. sent3: if there is something such that it does finger scrap the failure is a Bakelite. sent4: if the divi-divi is a midwinter that it is a comedown and does not finger hallelujah is not true. sent5: something is a Bakelite and it is a precociousness if it is not a midwinter. sent6: the hickory does not avert. sent7: there is something such that that it does finger hallelujah and does finger scrap is wrong. sent8: the hickory does laicize divi-divi if it does not avert. sent9: the fact that the failure does not finger scrap hold. sent10: the failure is not a midwinter if it is a precociousness. sent11: if something is a midwinter and/or it does finger hallelujah then it does not avert. sent12: the divi-divi is a kind of a comedown if the failure is a kind of a comedown. sent13: something is a kind of a comedown if it is a Bakelite. sent14: there exists something such that that it is a centenarian and it is not biaxial is not correct. sent15: that the divi-divi fingers hallelujah and it does finger scrap is not correct if it is a comedown. sent16: if something is a Bakelite and/or a precociousness it is not a midwinter. sent17: if the hickory does not avert then it laicizes divi-divi and is a midwinter. sent18: if the failure does not avert and does laicize divi-divi the divi-divi is not a midwinter. sent19: the fact that something fingers hallelujah but it does not finger scrap does not hold if it is a comedown. sent20: the failure is a midwinter if the hickory is a kind of a midwinter. sent21: something does not avert if it is a midwinter. sent22: the divi-divi does riffle.
sent19 -> int1: the fact that the divi-divi fingers hallelujah but it does not finger scrap does not hold if it is a comedown.; void -> assump1: Let's assume that the fact that the divi-divi is a comedown is not incorrect.; int1 & assump1 -> int2: that the divi-divi fingers hallelujah but it does not finger scrap is incorrect.; int2 -> int3: there exists something such that that it does finger hallelujah and it does not finger scrap does not hold.; int3 & sent2 -> int4: the failure is a Bakelite.; int4 -> int5: the failure is a Bakelite and/or a precociousness.; sent16 -> int6: that if the failure is a kind of a Bakelite and/or is a kind of the precociousness the failure is not a midwinter is true.; int5 & int6 -> int7: the failure is not a midwinter.; sent17 & sent6 -> int8: the hickory laicizes divi-divi and it is a midwinter.; int8 -> int9: the hickory is a kind of a midwinter.; sent20 & int9 -> int10: the failure is a midwinter.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
that the divi-divi is a comedown hold.
sent13 -> int12: if the divi-divi is a kind of a Bakelite then it is a comedown.; sent5 -> int13: the divi-divi is a Bakelite that is a precociousness if it is not a midwinter.;
$hypothesis$ = that the divi-divi is not a kind of a comedown is not false. ; $context$ = sent1: if something is a precociousness then it is not a midwinter. sent2: the failure is a Bakelite if there is something such that the fact that it fingers hallelujah and it does not finger scrap is not true. sent3: if there is something such that it does finger scrap the failure is a Bakelite. sent4: if the divi-divi is a midwinter that it is a comedown and does not finger hallelujah is not true. sent5: something is a Bakelite and it is a precociousness if it is not a midwinter. sent6: the hickory does not avert. sent7: there is something such that that it does finger hallelujah and does finger scrap is wrong. sent8: the hickory does laicize divi-divi if it does not avert. sent9: the fact that the failure does not finger scrap hold. sent10: the failure is not a midwinter if it is a precociousness. sent11: if something is a midwinter and/or it does finger hallelujah then it does not avert. sent12: the divi-divi is a kind of a comedown if the failure is a kind of a comedown. sent13: something is a kind of a comedown if it is a Bakelite. sent14: there exists something such that that it is a centenarian and it is not biaxial is not correct. sent15: that the divi-divi fingers hallelujah and it does finger scrap is not correct if it is a comedown. sent16: if something is a Bakelite and/or a precociousness it is not a midwinter. sent17: if the hickory does not avert then it laicizes divi-divi and is a midwinter. sent18: if the failure does not avert and does laicize divi-divi the divi-divi is not a midwinter. sent19: the fact that something fingers hallelujah but it does not finger scrap does not hold if it is a comedown. sent20: the failure is a midwinter if the hickory is a kind of a midwinter. sent21: something does not avert if it is a midwinter. sent22: the divi-divi does riffle. ; $proof$ = 
sent19 -> int1: the fact that the divi-divi fingers hallelujah but it does not finger scrap does not hold if it is a comedown.; void -> assump1: Let's assume that the fact that the divi-divi is a comedown is not incorrect.; int1 & assump1 -> int2: that the divi-divi fingers hallelujah but it does not finger scrap is incorrect.; int2 -> int3: there exists something such that that it does finger hallelujah and it does not finger scrap does not hold.; int3 & sent2 -> int4: the failure is a Bakelite.; int4 -> int5: the failure is a Bakelite and/or a precociousness.; sent16 -> int6: that if the failure is a kind of a Bakelite and/or is a kind of the precociousness the failure is not a midwinter is true.; int5 & int6 -> int7: the failure is not a midwinter.; sent17 & sent6 -> int8: the hickory laicizes divi-divi and it is a midwinter.; int8 -> int9: the hickory is a kind of a midwinter.; sent20 & int9 -> int10: the failure is a midwinter.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__