the diva is both not automotive and not elastic.
sent1: if there exists something such that it does hunger parapet the glycerogelatin is premature and not piezoelectric. sent2: if something does not hunger Lateran the fact that it is not automotive and is inelastic does not hold. sent3: the Rambouillet is premature. sent4: if there exists something such that it is not premature then the crabapple is a paper. sent5: the aqualung is not afebrile if that the darky does not construct liking and/or it is not afebrile is not true. sent6: the Rambouillet hungers parapet. sent7: the crabapple is not a kind of a Russian if the Rambouillet does hunger Lateran and it is a paper. sent8: the Rambouillet is not piezoelectric. sent9: if the crabapple is non-automotive then the fact that it is inelastic and it is not a Russian is false. sent10: the Rambouillet does not wrap dependant but it is unsuccessful if it does not hunger Lateran. sent11: if the crabapple is not a kind of a Russian then the diva is inelastic. sent12: the Rambouillet wraps dependant and hungers parapet. sent13: the Rambouillet hungers Lateran or is not a kind of a Russian or both if the fact that the crabapple is a paper is correct. sent14: the fact that if the Rambouillet is not piezoelectric the Rambouillet is premature is correct. sent15: the diva is inelastic. sent16: the crabapple is not automotive if there exists something such that that it is automotive and it is not premature does not hold. sent17: that that the darky does not construct liking and/or is not afebrile is false is correct. sent18: if something is non-afebrile it hungers parapet and does construct Geum. sent19: if the Rambouillet does not hunger Lateran then it is unsuccessful. sent20: the diva is not non-methodological but inelastic. sent21: that the diva is both automotive and not premature is false. sent22: the diva is not automotive but inelastic if that the crabapple is not a kind of a Russian is not incorrect. sent23: the Rambouillet is premature a paper if it is not piezoelectric. sent24: the adobe is not premature if the glycerogelatin is premature but it is not piezoelectric. sent25: if there exists something such that the fact that it does wrap dependant and it hungers Lateran is not true the planthopper does not wrap dependant. sent26: the Rambouillet is unsuccessful.
void -> assump1: Let's assume that the Rambouillet does not hunger Lateran.; sent10 & assump1 -> int1: the Rambouillet does not wrap dependant and is unsuccessful.; int1 -> int2: the Rambouillet does not wrap dependant.; sent12 -> int3: that the Rambouillet does wrap dependant hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Rambouillet does hunger Lateran.; sent23 & sent8 -> int6: the Rambouillet is premature and it is a paper.; int6 -> int7: the fact that the Rambouillet is a paper is true.; int5 & int7 -> int8: the Rambouillet does hunger Lateran and it is a paper.; int8 & sent7 -> int9: the crabapple is not a Russian.; int9 & sent22 -> hypothesis;
that the diva is not automotive but it is inelastic is incorrect.
sent2 -> int10: if the diva does not hunger Lateran that it is both not automotive and not elastic is false.; sent18 -> int11: the aqualung hungers parapet and does construct Geum if it is not afebrile.; sent5 & sent17 -> int12: the aqualung is not afebrile.; int11 & int12 -> int13: the aqualung hungers parapet and constructs Geum.; int13 -> int14: the aqualung hungers parapet.; int14 -> int15: there is something such that it hungers parapet.; int15 & sent1 -> int16: the glycerogelatin is not non-premature but it is not piezoelectric.; sent24 & int16 -> int17: the adobe is not premature.; int17 -> int18: there exists something such that it is not premature.; int18 & sent4 -> int19: the crabapple is a paper.; sent13 & int19 -> int20: the Rambouillet does hunger Lateran and/or it is not Russian.;
$hypothesis$ = the diva is both not automotive and not elastic. ; $context$ = sent1: if there exists something such that it does hunger parapet the glycerogelatin is premature and not piezoelectric. sent2: if something does not hunger Lateran the fact that it is not automotive and is inelastic does not hold. sent3: the Rambouillet is premature. sent4: if there exists something such that it is not premature then the crabapple is a paper. sent5: the aqualung is not afebrile if that the darky does not construct liking and/or it is not afebrile is not true. sent6: the Rambouillet hungers parapet. sent7: the crabapple is not a kind of a Russian if the Rambouillet does hunger Lateran and it is a paper. sent8: the Rambouillet is not piezoelectric. sent9: if the crabapple is non-automotive then the fact that it is inelastic and it is not a Russian is false. sent10: the Rambouillet does not wrap dependant but it is unsuccessful if it does not hunger Lateran. sent11: if the crabapple is not a kind of a Russian then the diva is inelastic. sent12: the Rambouillet wraps dependant and hungers parapet. sent13: the Rambouillet hungers Lateran or is not a kind of a Russian or both if the fact that the crabapple is a paper is correct. sent14: the fact that if the Rambouillet is not piezoelectric the Rambouillet is premature is correct. sent15: the diva is inelastic. sent16: the crabapple is not automotive if there exists something such that that it is automotive and it is not premature does not hold. sent17: that that the darky does not construct liking and/or is not afebrile is false is correct. sent18: if something is non-afebrile it hungers parapet and does construct Geum. sent19: if the Rambouillet does not hunger Lateran then it is unsuccessful. sent20: the diva is not non-methodological but inelastic. sent21: that the diva is both automotive and not premature is false. sent22: the diva is not automotive but inelastic if that the crabapple is not a kind of a Russian is not incorrect. sent23: the Rambouillet is premature a paper if it is not piezoelectric. sent24: the adobe is not premature if the glycerogelatin is premature but it is not piezoelectric. sent25: if there exists something such that the fact that it does wrap dependant and it hungers Lateran is not true the planthopper does not wrap dependant. sent26: the Rambouillet is unsuccessful. ; $proof$ = 
void -> assump1: Let's assume that the Rambouillet does not hunger Lateran.; sent10 & assump1 -> int1: the Rambouillet does not wrap dependant and is unsuccessful.; int1 -> int2: the Rambouillet does not wrap dependant.; sent12 -> int3: that the Rambouillet does wrap dependant hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Rambouillet does hunger Lateran.; sent23 & sent8 -> int6: the Rambouillet is premature and it is a paper.; int6 -> int7: the fact that the Rambouillet is a paper is true.; int5 & int7 -> int8: the Rambouillet does hunger Lateran and it is a paper.; int8 & sent7 -> int9: the crabapple is not a Russian.; int9 & sent22 -> hypothesis; __PROVED__