the eider is hydrokinetic.
sent1: if the fact that that the eider does stay and/or does fry does not hold is not false then it is not truthful. sent2: the Garand does not crook Pseudolarix if it does not nod diesel-hydraulic. sent3: that something is not truthful and/or it does not fry is not correct if it is clausal. sent4: if the diesel-hydraulic is not a defoliator then the tabor is a stay and is algebraic. sent5: if the jig boards then the fact that it is a kind of a recessional and it is not a kind of a sanatorium is not incorrect. sent6: that the eider is a kind of a stay or it does fry or both does not hold. sent7: the eider does not fry. sent8: there is something such that that it is a buttercup and it is not a board is not true. sent9: that the jig is a board if there exists something such that the fact that it is a buttercup and not a board is incorrect is right. sent10: the rockchuck nods capability if something is recessional but it is not a sanatorium. sent11: something is clausal if the fact that it nods capability hold. sent12: if the fact that the rockchuck is not truthful or does not fry or both is not right then the tabor is truthful. sent13: if something is not truthful then it is not hydrokinetic. sent14: the diesel-hydraulic is not a defoliator.
sent13 -> int1: if the eider is not truthful it is not hydrokinetic.; sent1 & sent6 -> int2: the eider is not truthful.; int1 & int2 -> hypothesis;
the eider is hydrokinetic.
sent4 & sent14 -> int3: the tabor is a stay and it is algebraic.; int3 -> int4: the tabor is a stay.; sent3 -> int5: that the rockchuck is not truthful and/or does not fry is wrong if it is clausal.; sent11 -> int6: the rockchuck is clausal if that it nods capability is true.; sent8 & sent9 -> int7: the jig is a board.; sent5 & int7 -> int8: the jig is a kind of recessional thing that is not a sanatorium.; int8 -> int9: there exists something such that it is a kind of a recessional and it is not a sanatorium.; int9 & sent10 -> int10: the rockchuck nods capability.; int6 & int10 -> int11: the fact that the rockchuck is clausal is not false.; int5 & int11 -> int12: that that the rockchuck is not truthful or it does not fry or both is not correct is not wrong.; sent12 & int12 -> int13: the tabor is truthful.; int4 & int13 -> int14: the tabor stays and is not untruthful.; int14 -> int15: there exists something such that it does stay and it is truthful.;
$hypothesis$ = the eider is hydrokinetic. ; $context$ = sent1: if the fact that that the eider does stay and/or does fry does not hold is not false then it is not truthful. sent2: the Garand does not crook Pseudolarix if it does not nod diesel-hydraulic. sent3: that something is not truthful and/or it does not fry is not correct if it is clausal. sent4: if the diesel-hydraulic is not a defoliator then the tabor is a stay and is algebraic. sent5: if the jig boards then the fact that it is a kind of a recessional and it is not a kind of a sanatorium is not incorrect. sent6: that the eider is a kind of a stay or it does fry or both does not hold. sent7: the eider does not fry. sent8: there is something such that that it is a buttercup and it is not a board is not true. sent9: that the jig is a board if there exists something such that the fact that it is a buttercup and not a board is incorrect is right. sent10: the rockchuck nods capability if something is recessional but it is not a sanatorium. sent11: something is clausal if the fact that it nods capability hold. sent12: if the fact that the rockchuck is not truthful or does not fry or both is not right then the tabor is truthful. sent13: if something is not truthful then it is not hydrokinetic. sent14: the diesel-hydraulic is not a defoliator. ; $proof$ = 
sent13 -> int1: if the eider is not truthful it is not hydrokinetic.; sent1 & sent6 -> int2: the eider is not truthful.; int1 & int2 -> hypothesis; __DISPROVED__