the fact that there exists something such that it is not cubic does not hold.
sent1: the saponin is a straw. sent2: there is something such that it is a kind of a charged. sent3: the heterocyclic is not non-cubic if the Gore is non-cubic. sent4: the chiton is not a kind of a Delphinapterus if the saponin canes extermination and it is a kind of a gazetteer. sent5: the fact that the clambake is not a kind of a puppeteer and is not a etiolation is false. sent6: the clambake is non-archegonial if the Gore is non-archegonial and it is a illuminant. sent7: if the saponin is a Delphinapterus that is a straw then the clambake is not a kind of a Delphinapterus. sent8: that the chiton does cane extermination and is a gazetteer does not hold. sent9: something is not biotypic if the fact that the fact that it is biotypic and is not a gazetteer is not wrong is not true. sent10: if the Gore is archegonial and a Delphinapterus the clambake is not a illuminant. sent11: if there is something such that it is a kind of a charged the angle is archegonial and it does cane extermination. sent12: the clambake is archegonial if that the chiton does not cane extermination but it is a gazetteer is incorrect. sent13: if there exists something such that that it is not a kind of a puppeteer and it is not a kind of a etiolation does not hold then the chiton is not a illuminant. sent14: the clambake is not a straw if the saponin is a straw that does charge. sent15: the Gore is a kind of a illuminant. sent16: the fact that the saponin is a kind of a Delphinapterus that is a straw is right. sent17: the chiton is not a charged. sent18: if that the chiton is not a gazetteer and is archegonial is not right then the clambake is a charged. sent19: the bomblet is archegonial. sent20: the heterocyclic is not cubic if the clambake is not non-archegonial and it does charge. sent21: the fact that something is biotypic but it is not a kind of a gazetteer does not hold if the fact that it canes extermination is true. sent22: The extermination canes chiton. sent23: if that the heterocyclic does not cane extermination but it is cubic is not right the chiton does straw. sent24: the chiton canes extermination. sent25: something straws if that it is not cubic and is a Delphinapterus does not hold. sent26: the fact that the angle is not cubic but it is a Delphinapterus is false if there exists something such that it is not a kind of a illuminant. sent27: if the Gore is a illuminant then the clambake is a illuminant. sent28: if something that is not a Delphinapterus is a kind of a illuminant then it is a charged. sent29: there are cubic things.
void -> assump1: Let's assume that the chiton does not cane extermination but it is a gazetteer.; assump1 -> int1: the chiton does not cane extermination.; int1 & sent24 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the chiton does not cane extermination but it is a gazetteer is incorrect.; int3 & sent12 -> int4: the clambake is archegonial.; sent28 -> int5: if the clambake is not a kind of a Delphinapterus but it is a illuminant it charges.; sent7 & sent16 -> int6: the clambake is not a Delphinapterus.; sent27 & sent15 -> int7: the clambake is a illuminant.; int6 & int7 -> int8: the clambake is both not a Delphinapterus and a illuminant.; int5 & int8 -> int9: the clambake is a charged.; int4 & int9 -> int10: the clambake is archegonial and a charged.; int10 & sent20 -> int11: the fact that the heterocyclic is not cubic is right.; int11 -> hypothesis;
the angle is non-biotypic thing that is a kind of a straw.
sent9 -> int12: if the fact that the angle is a kind of biotypic thing that is not a kind of a gazetteer is not right it is not biotypic.; sent21 -> int13: if the fact that the angle does cane extermination is true then the fact that the fact that it is both biotypic and not a gazetteer is correct is not correct.; sent2 & sent11 -> int14: the angle is a kind of archegonial thing that canes extermination.; int14 -> int15: that the angle canes extermination hold.; int13 & int15 -> int16: the fact that the angle is biotypic but it is not a gazetteer is wrong.; int12 & int16 -> int17: the angle is not biotypic.; sent25 -> int18: the angle is a kind of a straw if that it is not cubic and it is a Delphinapterus does not hold.; sent5 -> int19: there exists something such that the fact that it is not a puppeteer and it is not a kind of a etiolation is incorrect.; int19 & sent13 -> int20: the chiton is not a illuminant.; int20 -> int21: something is not a kind of a illuminant.; int21 & sent26 -> int22: the fact that the angle is a kind of non-cubic thing that is a Delphinapterus is false.; int18 & int22 -> int23: the angle straws.; int17 & int23 -> hypothesis;
$hypothesis$ = the fact that there exists something such that it is not cubic does not hold. ; $context$ = sent1: the saponin is a straw. sent2: there is something such that it is a kind of a charged. sent3: the heterocyclic is not non-cubic if the Gore is non-cubic. sent4: the chiton is not a kind of a Delphinapterus if the saponin canes extermination and it is a kind of a gazetteer. sent5: the fact that the clambake is not a kind of a puppeteer and is not a etiolation is false. sent6: the clambake is non-archegonial if the Gore is non-archegonial and it is a illuminant. sent7: if the saponin is a Delphinapterus that is a straw then the clambake is not a kind of a Delphinapterus. sent8: that the chiton does cane extermination and is a gazetteer does not hold. sent9: something is not biotypic if the fact that the fact that it is biotypic and is not a gazetteer is not wrong is not true. sent10: if the Gore is archegonial and a Delphinapterus the clambake is not a illuminant. sent11: if there is something such that it is a kind of a charged the angle is archegonial and it does cane extermination. sent12: the clambake is archegonial if that the chiton does not cane extermination but it is a gazetteer is incorrect. sent13: if there exists something such that that it is not a kind of a puppeteer and it is not a kind of a etiolation does not hold then the chiton is not a illuminant. sent14: the clambake is not a straw if the saponin is a straw that does charge. sent15: the Gore is a kind of a illuminant. sent16: the fact that the saponin is a kind of a Delphinapterus that is a straw is right. sent17: the chiton is not a charged. sent18: if that the chiton is not a gazetteer and is archegonial is not right then the clambake is a charged. sent19: the bomblet is archegonial. sent20: the heterocyclic is not cubic if the clambake is not non-archegonial and it does charge. sent21: the fact that something is biotypic but it is not a kind of a gazetteer does not hold if the fact that it canes extermination is true. sent22: The extermination canes chiton. sent23: if that the heterocyclic does not cane extermination but it is cubic is not right the chiton does straw. sent24: the chiton canes extermination. sent25: something straws if that it is not cubic and is a Delphinapterus does not hold. sent26: the fact that the angle is not cubic but it is a Delphinapterus is false if there exists something such that it is not a kind of a illuminant. sent27: if the Gore is a illuminant then the clambake is a illuminant. sent28: if something that is not a Delphinapterus is a kind of a illuminant then it is a charged. sent29: there are cubic things. ; $proof$ = 
void -> assump1: Let's assume that the chiton does not cane extermination but it is a gazetteer.; assump1 -> int1: the chiton does not cane extermination.; int1 & sent24 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the chiton does not cane extermination but it is a gazetteer is incorrect.; int3 & sent12 -> int4: the clambake is archegonial.; sent28 -> int5: if the clambake is not a kind of a Delphinapterus but it is a illuminant it charges.; sent7 & sent16 -> int6: the clambake is not a Delphinapterus.; sent27 & sent15 -> int7: the clambake is a illuminant.; int6 & int7 -> int8: the clambake is both not a Delphinapterus and a illuminant.; int5 & int8 -> int9: the clambake is a charged.; int4 & int9 -> int10: the clambake is archegonial and a charged.; int10 & sent20 -> int11: the fact that the heterocyclic is not cubic is right.; int11 -> hypothesis; __DISPROVED__