that the halide is translational or bottoms or both does not hold.
sent1: something is a Hanoi if it risks Chara. sent2: The Chara risks moon. sent3: if the perjurer is not a Persia and is not a kind of a Maoist the h is not a Persia. sent4: if the inventory is not a Potamogalidae then the perjurer is non-rotatory thing that is not a kind of a yak. sent5: there is something such that it does command brag. sent6: if something is a Maoist and it bottoms it is not obstetric. sent7: that the halide is a Maoist and does not command league is not true if the moon is not a Persia. sent8: if something does not command brag the fact that it is a kind of an intensification and it is a kind of a Sabbatarian is not true. sent9: the halide is translational if that it is a Maoist and it does not command league is not correct. sent10: if something that commands league does risk Chara then the perjurer is not a Persia. sent11: the fact that the fact that the volume does malinger and is obstetric is true is not right if there is something such that it commands brag. sent12: the inventory is not a Potamogalidae. sent13: the moon is not a kind of a ram. sent14: if something is a kind of Maoist thing that risks Chara then it is not translational. sent15: the moon risks Chara. sent16: if either something does not malinger or it is obstetric or both the volume does not command brag. sent17: if the sneezewort is not obstetric the fact that the moon does malinger and it commands brag is not right. sent18: if a non-rotatory thing is not a kind of a yak then it is not Maoist. sent19: that the halide is either translational or a bottom or both is not true if the volume does not command brag. sent20: if the h is not a kind of a Persia then it is not a Calvinism and it is a Hanoi. sent21: if something does stable runch it does justify. sent22: if there exists something such that that it does malinger and is obstetric does not hold the moon is a kind of a Calvinism. sent23: if something is a Hanoi and it is a Calvinism then it is not a Persia. sent24: the halide risks Chara. sent25: if the volume risks Chara and is a kind of a Calvinism it does not malinger.
sent5 & sent11 -> int1: that the volume malingers and is obstetric is not right.; int1 -> int2: there exists something such that that it does malinger and it is obstetric is incorrect.; int2 & sent22 -> int3: the fact that the moon is a Calvinism is not false.; sent1 -> int4: if the moon does risk Chara then it is a Hanoi.; int4 & sent15 -> int5: the moon is a Hanoi.; int3 & int5 -> int6: the fact that the moon is a Hanoi and is a Calvinism is right.; sent23 -> int7: the moon is not a Persia if it is a Hanoi and it is a Calvinism.; int6 & int7 -> int8: the moon is not a Persia.; int8 & sent7 -> int9: that the halide is a Maoist but it does not command league is incorrect.; int9 & sent9 -> int10: the halide is translational.; int10 -> hypothesis;
that the halide is translational and/or it is a bottom is not right.
sent18 -> int11: the perjurer is not a Maoist if it is a kind of non-rotatory thing that does not yak.; sent4 & sent12 -> int12: the perjurer is both not rotatory and not a yak.; int11 & int12 -> int13: the fact that the perjurer is not a Maoist is not wrong.;
$hypothesis$ = that the halide is translational or bottoms or both does not hold. ; $context$ = sent1: something is a Hanoi if it risks Chara. sent2: The Chara risks moon. sent3: if the perjurer is not a Persia and is not a kind of a Maoist the h is not a Persia. sent4: if the inventory is not a Potamogalidae then the perjurer is non-rotatory thing that is not a kind of a yak. sent5: there is something such that it does command brag. sent6: if something is a Maoist and it bottoms it is not obstetric. sent7: that the halide is a Maoist and does not command league is not true if the moon is not a Persia. sent8: if something does not command brag the fact that it is a kind of an intensification and it is a kind of a Sabbatarian is not true. sent9: the halide is translational if that it is a Maoist and it does not command league is not correct. sent10: if something that commands league does risk Chara then the perjurer is not a Persia. sent11: the fact that the fact that the volume does malinger and is obstetric is true is not right if there is something such that it commands brag. sent12: the inventory is not a Potamogalidae. sent13: the moon is not a kind of a ram. sent14: if something is a kind of Maoist thing that risks Chara then it is not translational. sent15: the moon risks Chara. sent16: if either something does not malinger or it is obstetric or both the volume does not command brag. sent17: if the sneezewort is not obstetric the fact that the moon does malinger and it commands brag is not right. sent18: if a non-rotatory thing is not a kind of a yak then it is not Maoist. sent19: that the halide is either translational or a bottom or both is not true if the volume does not command brag. sent20: if the h is not a kind of a Persia then it is not a Calvinism and it is a Hanoi. sent21: if something does stable runch it does justify. sent22: if there exists something such that that it does malinger and is obstetric does not hold the moon is a kind of a Calvinism. sent23: if something is a Hanoi and it is a Calvinism then it is not a Persia. sent24: the halide risks Chara. sent25: if the volume risks Chara and is a kind of a Calvinism it does not malinger. ; $proof$ = 
sent5 & sent11 -> int1: that the volume malingers and is obstetric is not right.; int1 -> int2: there exists something such that that it does malinger and it is obstetric is incorrect.; int2 & sent22 -> int3: the fact that the moon is a Calvinism is not false.; sent1 -> int4: if the moon does risk Chara then it is a Hanoi.; int4 & sent15 -> int5: the moon is a Hanoi.; int3 & int5 -> int6: the fact that the moon is a Hanoi and is a Calvinism is right.; sent23 -> int7: the moon is not a Persia if it is a Hanoi and it is a Calvinism.; int6 & int7 -> int8: the moon is not a Persia.; int8 & sent7 -> int9: that the halide is a Maoist but it does not command league is incorrect.; int9 & sent9 -> int10: the halide is translational.; int10 -> hypothesis; __DISPROVED__