there exists something such that the fact that it is a acerbity and it is regretful is not right.
sent1: something is not bridgeable if the fact that it is bridgeable and is not a mist is not correct. sent2: the fact that the pseudoscorpion smites polder and it is disorderly is wrong if the silverback is not a acerbity. sent3: if the fact that the shallot is univalve but it is not a kind of a dura is not right the planking is an endocrine. sent4: if the planking is not bridgeable the silverback is a piaffe and does smite city. sent5: the fact that the hormone does dream misogyny and is disorderly is not correct. sent6: that something is a kind of non-regretful thing that is a Acroclinium does not hold if it is a piaffe. sent7: if something is an endocrine then the fact that it is bridgeable and it does not mist does not hold. sent8: something is a acerbity and regretful. sent9: the fact that the shallot is univalve but it is not a dura is not true. sent10: there is something such that it is disorderly. sent11: if there exists something such that it is not disorderly the fact that the silverback is a kind of a acerbity and it is regretful does not hold. sent12: that the city is both morbilliform and linguistic is false. sent13: there exists something such that it does whistle preexistence. sent14: there exists something such that it puddles.
that the pseudoscorpion does smite polder and it is disorderly is false.
sent6 -> int1: that the silverback is both not regretful and a Acroclinium is not true if it is a piaffe.; sent1 -> int2: if the fact that the planking is bridgeable but it is not a kind of a mist does not hold then it is not bridgeable.; sent7 -> int3: if the planking is an endocrine then the fact that it is bridgeable and it is not a mist is incorrect.; sent3 & sent9 -> int4: the planking is an endocrine.; int3 & int4 -> int5: that the planking is bridgeable but not a mist is not true.; int2 & int5 -> int6: the planking is not bridgeable.; sent4 & int6 -> int7: the silverback is a kind of a piaffe that smites city.; int7 -> int8: the silverback is a kind of a piaffe.; int1 & int8 -> int9: the fact that the silverback is not regretful but it is a kind of a Acroclinium is incorrect.;
$hypothesis$ = there exists something such that the fact that it is a acerbity and it is regretful is not right. ; $context$ = sent1: something is not bridgeable if the fact that it is bridgeable and is not a mist is not correct. sent2: the fact that the pseudoscorpion smites polder and it is disorderly is wrong if the silverback is not a acerbity. sent3: if the fact that the shallot is univalve but it is not a kind of a dura is not right the planking is an endocrine. sent4: if the planking is not bridgeable the silverback is a piaffe and does smite city. sent5: the fact that the hormone does dream misogyny and is disorderly is not correct. sent6: that something is a kind of non-regretful thing that is a Acroclinium does not hold if it is a piaffe. sent7: if something is an endocrine then the fact that it is bridgeable and it does not mist does not hold. sent8: something is a acerbity and regretful. sent9: the fact that the shallot is univalve but it is not a dura is not true. sent10: there is something such that it is disorderly. sent11: if there exists something such that it is not disorderly the fact that the silverback is a kind of a acerbity and it is regretful does not hold. sent12: that the city is both morbilliform and linguistic is false. sent13: there exists something such that it does whistle preexistence. sent14: there exists something such that it puddles. ; $proof$ = 
__UNKNOWN__