that the emptiness is not a Tecumseh is not wrong.
sent1: the facula is not a toolmaker if it does not restrain. sent2: if that the polder does concern Kasai and it is a self-service is not correct then the saddlecloth is not a self-service. sent3: if there is something such that it is not a bailiff and it is a dog then the facula does not restrain. sent4: if that something is a kind of thalassic a perigee does not hold then it is not a coelostat. sent5: the Louvre does not jog if the facula is not a kind of a toolmaker. sent6: if the gib does enlarge but it does not concern airstream then the fact that the polder does not enlarge is true. sent7: the fact that something is a kind of a dog is not false. sent8: if something is not a kind of a coelostat then it does not restrain and it does jog. sent9: the Louvre is not a jog. sent10: if the facula is not a kind of a toolmaker the Louvre is a kind of a toolmaker but it is not a jog. sent11: the Louvre restrains. sent12: something is not a Tecumseh if the fact that it restrains and it is a Tecumseh is not true. sent13: the fact that if there is something such that it does not restrain and it is a toolmaker the facula is not a kind of a Tecumseh hold. sent14: if something is a Tecumseh then that that it restrains and it does not jog is true is wrong. sent15: if the facula is thalassic then it is a coelostat. sent16: if the Louvre is a toolmaker then the emptiness is a kind of a Tecumseh. sent17: something is not a kind of a bailiff and is a dog. sent18: if something does not enlarge that it concerns Kasai and it is not non-self-service is not true. sent19: there exists something such that it is a bailiff that is a kind of a dog. sent20: if the Louvre does not restrain the fact that the facula is a toolmaker and it is a Tecumseh does not hold. sent21: the fact that the Louvre is both thalassic and a perigee does not hold if the saddlecloth is not a self-service. sent22: if the facula is a coelostat the marauder is a kind of a Tecumseh. sent23: something is not a bailiff.
sent17 & sent3 -> int1: the facula does not restrain.; int1 & sent1 -> int2: the facula is not a kind of a toolmaker.; int2 & sent10 -> int3: the Louvre is a toolmaker that does not jog.; int3 -> int4: the Louvre is a toolmaker.; int4 & sent16 -> hypothesis;
the fact that the emptiness is not a Tecumseh is right.
sent8 -> int5: that the Louvre does not restrain and is a kind of the jog if the Louvre is not a kind of a coelostat is not false.; sent4 -> int6: if that the Louvre is both thalassic and a perigee is not true then it is not a coelostat.; sent18 -> int7: that the polder does concern Kasai and is a kind of a self-service is incorrect if it does not enlarge.;
$hypothesis$ = that the emptiness is not a Tecumseh is not wrong. ; $context$ = sent1: the facula is not a toolmaker if it does not restrain. sent2: if that the polder does concern Kasai and it is a self-service is not correct then the saddlecloth is not a self-service. sent3: if there is something such that it is not a bailiff and it is a dog then the facula does not restrain. sent4: if that something is a kind of thalassic a perigee does not hold then it is not a coelostat. sent5: the Louvre does not jog if the facula is not a kind of a toolmaker. sent6: if the gib does enlarge but it does not concern airstream then the fact that the polder does not enlarge is true. sent7: the fact that something is a kind of a dog is not false. sent8: if something is not a kind of a coelostat then it does not restrain and it does jog. sent9: the Louvre is not a jog. sent10: if the facula is not a kind of a toolmaker the Louvre is a kind of a toolmaker but it is not a jog. sent11: the Louvre restrains. sent12: something is not a Tecumseh if the fact that it restrains and it is a Tecumseh is not true. sent13: the fact that if there is something such that it does not restrain and it is a toolmaker the facula is not a kind of a Tecumseh hold. sent14: if something is a Tecumseh then that that it restrains and it does not jog is true is wrong. sent15: if the facula is thalassic then it is a coelostat. sent16: if the Louvre is a toolmaker then the emptiness is a kind of a Tecumseh. sent17: something is not a kind of a bailiff and is a dog. sent18: if something does not enlarge that it concerns Kasai and it is not non-self-service is not true. sent19: there exists something such that it is a bailiff that is a kind of a dog. sent20: if the Louvre does not restrain the fact that the facula is a toolmaker and it is a Tecumseh does not hold. sent21: the fact that the Louvre is both thalassic and a perigee does not hold if the saddlecloth is not a self-service. sent22: if the facula is a coelostat the marauder is a kind of a Tecumseh. sent23: something is not a bailiff. ; $proof$ = 
sent17 & sent3 -> int1: the facula does not restrain.; int1 & sent1 -> int2: the facula is not a kind of a toolmaker.; int2 & sent10 -> int3: the Louvre is a toolmaker that does not jog.; int3 -> int4: the Louvre is a toolmaker.; int4 & sent16 -> hypothesis; __DISPROVED__