the barbital is not cismontane.
sent1: the barbital is cismontane and is not a coalition if there exists something such that it does not philander tenement. sent2: something is a coalition. sent3: there exists something such that it is a flask. sent4: the quadruplet is not nonsignificant if the backhoe is a love and it is a kind of a coalition. sent5: something does not philander gerbil if it does define and does numerate. sent6: if the backhoe is not neritic it is not autodidactic. sent7: if something is a love that does not philander tenement then it is not a coalition. sent8: the fact that the backhoe is not a prodigal is correct. sent9: if something does philander tenement and is not calyptrate then that it is not cismontane is not wrong. sent10: the backhoe is a kind of a coalition. sent11: that the quadruplet is a prodigal is not wrong. sent12: if something is not nonsignificant then it is not a prodigal. sent13: if something does unify and catapults grillroom then it is not a kind of a quadratic. sent14: the incubus is not nonsignificant. sent15: if the backhoe does not love then it is not nonsignificant. sent16: the quadruplet is calyptrate. sent17: the grillroom belabors Cro-magnon and it is nonsignificant. sent18: the backhoe is cismontane. sent19: if there exists something such that it is not a love then the barbital philanders tenement but it is not calyptrate. sent20: the quadruplet is not a Leiden. sent21: the barbital is a kind of a prodigal that is not calyptrate if there is something such that the fact that it is not nonsignificant hold. sent22: if the backhoe is nonsignificant but it is not a prodigal it is not a coalition. sent23: the backhoe is not a prodigal if there is something such that it is not a kind of a coalition. sent24: the quadruplet is a coalition. sent25: something is not a coalition.
void -> assump1: Let's assume that the backhoe is a kind of a love.; assump1 & sent10 -> int1: the backhoe loves and it is a coalition.; int1 & sent4 -> int2: the quadruplet is not nonsignificant.; sent12 -> int3: that the quadruplet is not a prodigal is correct if it is significant.; int2 & int3 -> int4: the quadruplet is not a prodigal.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the backhoe is not a love.; int6 -> int7: there exists something such that it is not a love.; int7 & sent19 -> int8: the barbital does philander tenement but it is not calyptrate.; sent9 -> int9: the barbital is not cismontane if it philanders tenement and it is not calyptrate.; int8 & int9 -> hypothesis;
$hypothesis$ = the barbital is not cismontane. ; $context$ = sent1: the barbital is cismontane and is not a coalition if there exists something such that it does not philander tenement. sent2: something is a coalition. sent3: there exists something such that it is a flask. sent4: the quadruplet is not nonsignificant if the backhoe is a love and it is a kind of a coalition. sent5: something does not philander gerbil if it does define and does numerate. sent6: if the backhoe is not neritic it is not autodidactic. sent7: if something is a love that does not philander tenement then it is not a coalition. sent8: the fact that the backhoe is not a prodigal is correct. sent9: if something does philander tenement and is not calyptrate then that it is not cismontane is not wrong. sent10: the backhoe is a kind of a coalition. sent11: that the quadruplet is a prodigal is not wrong. sent12: if something is not nonsignificant then it is not a prodigal. sent13: if something does unify and catapults grillroom then it is not a kind of a quadratic. sent14: the incubus is not nonsignificant. sent15: if the backhoe does not love then it is not nonsignificant. sent16: the quadruplet is calyptrate. sent17: the grillroom belabors Cro-magnon and it is nonsignificant. sent18: the backhoe is cismontane. sent19: if there exists something such that it is not a love then the barbital philanders tenement but it is not calyptrate. sent20: the quadruplet is not a Leiden. sent21: the barbital is a kind of a prodigal that is not calyptrate if there is something such that the fact that it is not nonsignificant hold. sent22: if the backhoe is nonsignificant but it is not a prodigal it is not a coalition. sent23: the backhoe is not a prodigal if there is something such that it is not a kind of a coalition. sent24: the quadruplet is a coalition. sent25: something is not a coalition. ; $proof$ = 
void -> assump1: Let's assume that the backhoe is a kind of a love.; assump1 & sent10 -> int1: the backhoe loves and it is a coalition.; int1 & sent4 -> int2: the quadruplet is not nonsignificant.; sent12 -> int3: that the quadruplet is not a prodigal is correct if it is significant.; int2 & int3 -> int4: the quadruplet is not a prodigal.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the backhoe is not a love.; int6 -> int7: there exists something such that it is not a love.; int7 & sent19 -> int8: the barbital does philander tenement but it is not calyptrate.; sent9 -> int9: the barbital is not cismontane if it philanders tenement and it is not calyptrate.; int8 & int9 -> hypothesis; __PROVED__