that the feldspar does empty feldspar and it is Pauline is false.
sent1: if the hind consolidates bagel the mat sniffs caldron. sent2: the feldspar does consolidate bagel or it is Pauline or both. sent3: the feldspar is Pauline but not heedless if the mat does sniff caldron. sent4: that the hind is not heedless hold. sent5: either the hind sniffs caldron or it does consolidate bagel or both. sent6: the mat sniffs caldron if the fact that the hind does sniffs caldron is right. sent7: that the coot is not a Umayyad but it is a pomologist is incorrect. sent8: the chronoscope is not a kind of a pomologist. sent9: the feldspar does empty feldspar if the wormwood does not prophesy and is dyadic. sent10: if there exists something such that it is not a uniformed then the wormwood does not prophesy but it is dyadic. sent11: that the coot is dyadic is not incorrect if that the wormwood is not a Umayyad but it is syphilitic is right. sent12: if the coot is not a recursion and it is not syphilitic then the chronoscope is not a kind of a uniformed. sent13: the chador is a ropewalker but it is not an impossibility. sent14: something is uniformed. sent15: if the fact that the coot is not a kind of a Umayyad but it is a pomologist does not hold then it does not consolidate myoclonus. sent16: if that the coot is not a syphilitic and is a recursion is not right it does not sniff caldron. sent17: the fact that the bagel is a kind of heedful thing that does consolidate Omsk does not hold. sent18: something is not a recursion and it is not a kind of a syphilitic if the fact that it does not consolidate myoclonus is right. sent19: the fact that the feldspar does consolidate session is not wrong. sent20: something is not heedless and not a pomologist if it does not consolidate bagel.
sent15 & sent7 -> int1: the coot does not consolidate myoclonus.; sent18 -> int2: if the coot does not consolidate myoclonus then it is not a kind of a recursion and is not a kind of a syphilitic.; int1 & int2 -> int3: the coot is not a kind of a recursion and it is not a syphilitic.; int3 & sent12 -> int4: the chronoscope is non-uniformed.; int4 -> int5: there exists something such that it is not a uniformed.; int5 & sent10 -> int6: the wormwood does not prophesy but it is dyadic.; int6 & sent9 -> int7: the feldspar empties feldspar.; sent5 & sent6 & sent1 -> int8: that the mat does sniff caldron is not wrong.; sent3 & int8 -> int9: the feldspar is both Pauline and not heedless.; int9 -> int10: the feldspar is Pauline.; int7 & int10 -> hypothesis;
$hypothesis$ = that the feldspar does empty feldspar and it is Pauline is false. ; $context$ = sent1: if the hind consolidates bagel the mat sniffs caldron. sent2: the feldspar does consolidate bagel or it is Pauline or both. sent3: the feldspar is Pauline but not heedless if the mat does sniff caldron. sent4: that the hind is not heedless hold. sent5: either the hind sniffs caldron or it does consolidate bagel or both. sent6: the mat sniffs caldron if the fact that the hind does sniffs caldron is right. sent7: that the coot is not a Umayyad but it is a pomologist is incorrect. sent8: the chronoscope is not a kind of a pomologist. sent9: the feldspar does empty feldspar if the wormwood does not prophesy and is dyadic. sent10: if there exists something such that it is not a uniformed then the wormwood does not prophesy but it is dyadic. sent11: that the coot is dyadic is not incorrect if that the wormwood is not a Umayyad but it is syphilitic is right. sent12: if the coot is not a recursion and it is not syphilitic then the chronoscope is not a kind of a uniformed. sent13: the chador is a ropewalker but it is not an impossibility. sent14: something is uniformed. sent15: if the fact that the coot is not a kind of a Umayyad but it is a pomologist does not hold then it does not consolidate myoclonus. sent16: if that the coot is not a syphilitic and is a recursion is not right it does not sniff caldron. sent17: the fact that the bagel is a kind of heedful thing that does consolidate Omsk does not hold. sent18: something is not a recursion and it is not a kind of a syphilitic if the fact that it does not consolidate myoclonus is right. sent19: the fact that the feldspar does consolidate session is not wrong. sent20: something is not heedless and not a pomologist if it does not consolidate bagel. ; $proof$ = 
sent15 & sent7 -> int1: the coot does not consolidate myoclonus.; sent18 -> int2: if the coot does not consolidate myoclonus then it is not a kind of a recursion and is not a kind of a syphilitic.; int1 & int2 -> int3: the coot is not a kind of a recursion and it is not a syphilitic.; int3 & sent12 -> int4: the chronoscope is non-uniformed.; int4 -> int5: there exists something such that it is not a uniformed.; int5 & sent10 -> int6: the wormwood does not prophesy but it is dyadic.; int6 & sent9 -> int7: the feldspar empties feldspar.; sent5 & sent6 & sent1 -> int8: that the mat does sniff caldron is not wrong.; sent3 & int8 -> int9: the feldspar is both Pauline and not heedless.; int9 -> int10: the feldspar is Pauline.; int7 & int10 -> hypothesis; __DISPROVED__