the throughput does not defray grog.
sent1: the throughput clocks bleacher. sent2: if something is tights then that it is not ropy and it is not anticlinal is incorrect. sent3: something does defray incomprehensibility and it is tights if it is not a Geisel. sent4: if the solenoid is a cecum the darmstadtium reveals solenoid. sent5: the grog does not defray grog if there is something such that the fact that it is a kind of a cecum and it does reveal solenoid is incorrect. sent6: there exists something such that the fact that it is not a kind of a poet and does defray incomprehensibility does not hold. sent7: if that the grog does not clock supergrass and it is not effortless is right then the solenoid is a cecum. sent8: the grog is a kind of a cecum. sent9: something defrays grog if the fact that it is anticlinal and is not ropy is wrong. sent10: the darmstadtium is a poet if there exists something such that that it is not a poet and it defrays incomprehensibility is not right. sent11: if the throughput is not a poet and it is not a cecum the solenoid does defray grog. sent12: the solenoid is not a poet if there exists something such that that it is not ropy and it is not anticlinal is wrong. sent13: everything is not a Geisel. sent14: if something reveals solenoid and is a poet that it is non-anticlinal is not incorrect. sent15: the throughput is effortless. sent16: the grog does not clock supergrass and is not effortless. sent17: if the darmstadtium is not anticlinal the fact that the throughput is anticlinal but it is not ropy is wrong. sent18: the fact that something is a cecum that does reveal solenoid does not hold if it is not a poet.
sent7 & sent16 -> int1: the solenoid is a kind of a cecum.; int1 & sent4 -> int2: the darmstadtium does reveal solenoid.; sent6 & sent10 -> int3: the darmstadtium is a poet.; int2 & int3 -> int4: the darmstadtium does reveal solenoid and it is a kind of a poet.; sent14 -> int5: if the darmstadtium does reveal solenoid and is a poet it is not anticlinal.; int4 & int5 -> int6: the darmstadtium is not anticlinal.; int6 & sent17 -> int7: the fact that the fact that the throughput is anticlinal but it is not ropy is not false does not hold.; sent9 -> int8: the throughput defrays grog if that it is both anticlinal and non-ropy is wrong.; int7 & int8 -> hypothesis;
the throughput does not defray grog.
sent3 -> int9: if the bootee is not a Geisel then it defrays incomprehensibility and it is tights.; sent13 -> int10: the bootee is not a Geisel.; int9 & int10 -> int11: the bootee defrays incomprehensibility and it is tights.; int11 -> int12: everything defrays incomprehensibility and it is tights.; int12 -> int13: the darmstadtium defrays incomprehensibility and it is not non-tights.; int13 -> int14: the darmstadtium is tights.; sent2 -> int15: if the darmstadtium is tights then the fact that it is non-ropy thing that is not anticlinal is false.; int14 & int15 -> int16: the fact that the darmstadtium is not ropy and it is not anticlinal does not hold.; int16 -> int17: there is something such that that it is not ropy and it is not anticlinal is not right.; sent12 & int17 -> int18: the solenoid is not a poet.; sent18 -> int19: that that the solenoid is a cecum that does reveal solenoid is incorrect is not incorrect if it is not a poet.; int18 & int19 -> int20: that the solenoid is a cecum and does reveal solenoid is false.; int20 -> int21: there is something such that that it is a kind of a cecum that reveals solenoid is wrong.; int21 & sent5 -> int22: the grog does not defray grog.;
$hypothesis$ = the throughput does not defray grog. ; $context$ = sent1: the throughput clocks bleacher. sent2: if something is tights then that it is not ropy and it is not anticlinal is incorrect. sent3: something does defray incomprehensibility and it is tights if it is not a Geisel. sent4: if the solenoid is a cecum the darmstadtium reveals solenoid. sent5: the grog does not defray grog if there is something such that the fact that it is a kind of a cecum and it does reveal solenoid is incorrect. sent6: there exists something such that the fact that it is not a kind of a poet and does defray incomprehensibility does not hold. sent7: if that the grog does not clock supergrass and it is not effortless is right then the solenoid is a cecum. sent8: the grog is a kind of a cecum. sent9: something defrays grog if the fact that it is anticlinal and is not ropy is wrong. sent10: the darmstadtium is a poet if there exists something such that that it is not a poet and it defrays incomprehensibility is not right. sent11: if the throughput is not a poet and it is not a cecum the solenoid does defray grog. sent12: the solenoid is not a poet if there exists something such that that it is not ropy and it is not anticlinal is wrong. sent13: everything is not a Geisel. sent14: if something reveals solenoid and is a poet that it is non-anticlinal is not incorrect. sent15: the throughput is effortless. sent16: the grog does not clock supergrass and is not effortless. sent17: if the darmstadtium is not anticlinal the fact that the throughput is anticlinal but it is not ropy is wrong. sent18: the fact that something is a cecum that does reveal solenoid does not hold if it is not a poet. ; $proof$ = 
sent7 & sent16 -> int1: the solenoid is a kind of a cecum.; int1 & sent4 -> int2: the darmstadtium does reveal solenoid.; sent6 & sent10 -> int3: the darmstadtium is a poet.; int2 & int3 -> int4: the darmstadtium does reveal solenoid and it is a kind of a poet.; sent14 -> int5: if the darmstadtium does reveal solenoid and is a poet it is not anticlinal.; int4 & int5 -> int6: the darmstadtium is not anticlinal.; int6 & sent17 -> int7: the fact that the fact that the throughput is anticlinal but it is not ropy is not false does not hold.; sent9 -> int8: the throughput defrays grog if that it is both anticlinal and non-ropy is wrong.; int7 & int8 -> hypothesis; __DISPROVED__