the curbstone is a quail.
sent1: if the fact that the dredge is a damned hold then the curbstone furrows Villard. sent2: the Spartan does not furrow dredge. sent3: if the fact that the curbstone is both non-convex and not asphaltic does not hold it is ohmic. sent4: the curbstone is not a kind of a page or it is not a quail or both. sent5: there exists something such that that it is not a pantheon and is not an alligator does not hold. sent6: the dredge is a damned if the Spartan either is not endergonic or does not page or both. sent7: if the dredge is idiomatic and it does furrow Villard it is not sarcastic. sent8: if the hoecake is not ohmic that the curbstone is not a quail and/or it furrows Villard is not right. sent9: that if the fact that the backboard does not enliven based and it is not woody is not true the backboard is convex is not wrong. sent10: the Spartan is a damned that is endergonic. sent11: there is something such that that it is endergonic and is not a kind of a page is not true. sent12: there exists something such that it is not a kind of a page and it is not asphaltic. sent13: there exists something such that that it is not a page and is not ohmic hold. sent14: the curbstone is asphaltic if that it is not a damned and it is not ohmic does not hold. sent15: if something is a damned it is endergonic. sent16: the herder is not endergonic. sent17: the fact that something is not ohmic is correct if it furrows Villard and it is a kind of a quail. sent18: the curbstone is not a pantheon. sent19: the Spartan is a quail. sent20: the combine is not a damned. sent21: that the curbstone is not convex and it is not asphaltic is not correct. sent22: if there is something such that that the fact that it is not a kind of a pantheon and it is not an alligator hold is incorrect then the Spartan is not a page. sent23: something is a quail if it pages. sent24: the curbstone does page if the Spartan is not convex. sent25: the Spartan is a damned if the dredge does page.
sent5 & sent22 -> int1: the Spartan is not a page.; int1 -> int2: the Spartan is not endergonic and/or it is not a page.; int2 & sent6 -> int3: the dredge is a damned.; int3 & sent1 -> int4: that the curbstone does furrow Villard hold.; void -> assump1: Let's assume that the curbstone is a quail.; int4 & assump1 -> int5: the curbstone furrows Villard and it is a quail.; sent17 -> int6: if the curbstone furrows Villard and is a quail then it is not ohmic.; int5 & int6 -> int7: the fact that the curbstone is not ohmic is not incorrect.; sent3 & sent21 -> int8: the curbstone is not non-ohmic.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the curbstone is a quail.
sent23 -> int10: if the curbstone is a page then it is a quail.; sent15 -> int11: if the Spartan is a damned it is endergonic.;
$hypothesis$ = the curbstone is a quail. ; $context$ = sent1: if the fact that the dredge is a damned hold then the curbstone furrows Villard. sent2: the Spartan does not furrow dredge. sent3: if the fact that the curbstone is both non-convex and not asphaltic does not hold it is ohmic. sent4: the curbstone is not a kind of a page or it is not a quail or both. sent5: there exists something such that that it is not a pantheon and is not an alligator does not hold. sent6: the dredge is a damned if the Spartan either is not endergonic or does not page or both. sent7: if the dredge is idiomatic and it does furrow Villard it is not sarcastic. sent8: if the hoecake is not ohmic that the curbstone is not a quail and/or it furrows Villard is not right. sent9: that if the fact that the backboard does not enliven based and it is not woody is not true the backboard is convex is not wrong. sent10: the Spartan is a damned that is endergonic. sent11: there is something such that that it is endergonic and is not a kind of a page is not true. sent12: there exists something such that it is not a kind of a page and it is not asphaltic. sent13: there exists something such that that it is not a page and is not ohmic hold. sent14: the curbstone is asphaltic if that it is not a damned and it is not ohmic does not hold. sent15: if something is a damned it is endergonic. sent16: the herder is not endergonic. sent17: the fact that something is not ohmic is correct if it furrows Villard and it is a kind of a quail. sent18: the curbstone is not a pantheon. sent19: the Spartan is a quail. sent20: the combine is not a damned. sent21: that the curbstone is not convex and it is not asphaltic is not correct. sent22: if there is something such that that the fact that it is not a kind of a pantheon and it is not an alligator hold is incorrect then the Spartan is not a page. sent23: something is a quail if it pages. sent24: the curbstone does page if the Spartan is not convex. sent25: the Spartan is a damned if the dredge does page. ; $proof$ = 
sent5 & sent22 -> int1: the Spartan is not a page.; int1 -> int2: the Spartan is not endergonic and/or it is not a page.; int2 & sent6 -> int3: the dredge is a damned.; int3 & sent1 -> int4: that the curbstone does furrow Villard hold.; void -> assump1: Let's assume that the curbstone is a quail.; int4 & assump1 -> int5: the curbstone furrows Villard and it is a quail.; sent17 -> int6: if the curbstone furrows Villard and is a quail then it is not ohmic.; int5 & int6 -> int7: the fact that the curbstone is not ohmic is not incorrect.; sent3 & sent21 -> int8: the curbstone is not non-ohmic.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__