the fact that the foot is a Martian but it is not a hypermotility is not correct.
sent1: if something does not spiel tablet then it is a yew but not narrowed. sent2: the tablet is not a Martian if the cuckoopint is not a kind of a potamogale but it does spiel foot. sent3: the fact that the cuckoopint does not spiel foot is true. sent4: the cuckoopint is not a kind of a potamogale and it does not spiel foot if it is destructible. sent5: if something is not a Heinlein then it is a kind of a Martian that is a hypermotility. sent6: the fact that the cuckoopint does not spiel foot if the cuckoopint is not indestructible is true. sent7: the fact that the foot is not starchless but indestructible is incorrect if the cuckoopint is Martian. sent8: if something that is a yew does not narrow it is not a kind of a Heinlein. sent9: that the foot is Martian and a hypermotility is not correct if the tablet is not a kind of a Martian. sent10: the fact that the tablet is not a hypermotility is correct. sent11: the fact that the foot is Martian but not a hypermotility does not hold if the tablet is not a Martian. sent12: the fact that the foot is a kind of a Martian and it is a hypermotility is not correct. sent13: that the tablet spiels Kwan-yin and it spiels tablet is incorrect. sent14: the fact that the cuckoopint is not indestructible is true. sent15: the cuckoopint does not spiel tablet if there exists something such that that it does spiel Kwan-yin and spiel tablet is not true. sent16: something is not indestructible if the fact that it is not starchless and is indestructible is false. sent17: the tablet is not Martian if the cuckoopint is not a potamogale and does not spiel foot.
sent4 & sent14 -> int1: the cuckoopint is not a potamogale and does not spiel foot.; sent17 & int1 -> int2: the tablet is not a Martian.; sent11 & int2 -> hypothesis;
the fact that the foot is not indestructible hold.
sent16 -> int3: if that that the foot is not starchless but indestructible hold is not correct then it is not indestructible.; sent5 -> int4: if the cuckoopint is not a Heinlein then it is a kind of a Martian and it is a hypermotility.; sent8 -> int5: the cuckoopint is not a Heinlein if it is both a yew and not narrowed.; sent1 -> int6: that the cuckoopint is both a yew and not a narrowed is correct if the fact that it does not spiel tablet is true.; sent13 -> int7: there exists something such that the fact that it does spiel Kwan-yin and spiels tablet is incorrect.; int7 & sent15 -> int8: the cuckoopint does not spiel tablet.; int6 & int8 -> int9: the cuckoopint is a yew but not a narrowed.; int5 & int9 -> int10: the cuckoopint is not a Heinlein.; int4 & int10 -> int11: the cuckoopint is a Martian that is a hypermotility.; int11 -> int12: the cuckoopint is a kind of a Martian.; sent7 & int12 -> int13: that the foot is not starchless and is indestructible is not true.; int3 & int13 -> hypothesis;
$hypothesis$ = the fact that the foot is a Martian but it is not a hypermotility is not correct. ; $context$ = sent1: if something does not spiel tablet then it is a yew but not narrowed. sent2: the tablet is not a Martian if the cuckoopint is not a kind of a potamogale but it does spiel foot. sent3: the fact that the cuckoopint does not spiel foot is true. sent4: the cuckoopint is not a kind of a potamogale and it does not spiel foot if it is destructible. sent5: if something is not a Heinlein then it is a kind of a Martian that is a hypermotility. sent6: the fact that the cuckoopint does not spiel foot if the cuckoopint is not indestructible is true. sent7: the fact that the foot is not starchless but indestructible is incorrect if the cuckoopint is Martian. sent8: if something that is a yew does not narrow it is not a kind of a Heinlein. sent9: that the foot is Martian and a hypermotility is not correct if the tablet is not a kind of a Martian. sent10: the fact that the tablet is not a hypermotility is correct. sent11: the fact that the foot is Martian but not a hypermotility does not hold if the tablet is not a Martian. sent12: the fact that the foot is a kind of a Martian and it is a hypermotility is not correct. sent13: that the tablet spiels Kwan-yin and it spiels tablet is incorrect. sent14: the fact that the cuckoopint is not indestructible is true. sent15: the cuckoopint does not spiel tablet if there exists something such that that it does spiel Kwan-yin and spiel tablet is not true. sent16: something is not indestructible if the fact that it is not starchless and is indestructible is false. sent17: the tablet is not Martian if the cuckoopint is not a potamogale and does not spiel foot. ; $proof$ = 
sent4 & sent14 -> int1: the cuckoopint is not a potamogale and does not spiel foot.; sent17 & int1 -> int2: the tablet is not a Martian.; sent11 & int2 -> hypothesis; __PROVED__