the cataloger is not distributive.
sent1: the fact that something is not a dumps but it is morbilliform is false if it is not lactic. sent2: the cataloger is distributive if the Tory is distributive. sent3: if the regicide is not morbilliform then the Tory is dural and it is distributive. sent4: something does superscribe blade and it does meditate. sent5: if there exists something such that that it superscribes blade and does meditate is not right then the Tory is not dural. sent6: something is not morbilliform if it is not dural. sent7: the fact that the unicyclist is a DM and it does bias is incorrect if it does not imply browser. sent8: if the fact that something is a bias and it is lactic is incorrect then it is not distributive. sent9: there is something such that that it superscribes blade and does meditate is wrong. sent10: if the Tory is not lactic that the cataloger is a bias that is lactic is wrong. sent11: the Tory is a dumps. sent12: if that something is a DM and it is a bias does not hold then it is not lactic. sent13: the ununhexium is not a bias. sent14: something is not lactic and dumps if it is non-morbilliform.
sent9 & sent5 -> int1: that the Tory is not dural hold.; sent6 -> int2: if the Tory is not dural then it is not morbilliform.; int1 & int2 -> int3: the Tory is not morbilliform.; sent14 -> int4: the Tory is both not lactic and a dumps if it is not morbilliform.; int3 & int4 -> int5: the Tory is not lactic but it is a dumps.; int5 -> int6: the Tory is not lactic.; int6 & sent10 -> int7: that the cataloger is a kind of a bias that is lactic is not true.; sent8 -> int8: the fact that the cataloger is not distributive hold if that it is a kind of a bias and it is lactic is incorrect.; int7 & int8 -> hypothesis;
the fact that the cataloger is distributive is not wrong.
sent1 -> int9: the fact that the fact that the unicyclist does not dump but it is morbilliform is right is not correct if it is not lactic.; sent12 -> int10: the unicyclist is not lactic if the fact that it is a DM and it is a kind of a bias does not hold.;
$hypothesis$ = the cataloger is not distributive. ; $context$ = sent1: the fact that something is not a dumps but it is morbilliform is false if it is not lactic. sent2: the cataloger is distributive if the Tory is distributive. sent3: if the regicide is not morbilliform then the Tory is dural and it is distributive. sent4: something does superscribe blade and it does meditate. sent5: if there exists something such that that it superscribes blade and does meditate is not right then the Tory is not dural. sent6: something is not morbilliform if it is not dural. sent7: the fact that the unicyclist is a DM and it does bias is incorrect if it does not imply browser. sent8: if the fact that something is a bias and it is lactic is incorrect then it is not distributive. sent9: there is something such that that it superscribes blade and does meditate is wrong. sent10: if the Tory is not lactic that the cataloger is a bias that is lactic is wrong. sent11: the Tory is a dumps. sent12: if that something is a DM and it is a bias does not hold then it is not lactic. sent13: the ununhexium is not a bias. sent14: something is not lactic and dumps if it is non-morbilliform. ; $proof$ = 
sent9 & sent5 -> int1: that the Tory is not dural hold.; sent6 -> int2: if the Tory is not dural then it is not morbilliform.; int1 & int2 -> int3: the Tory is not morbilliform.; sent14 -> int4: the Tory is both not lactic and a dumps if it is not morbilliform.; int3 & int4 -> int5: the Tory is not lactic but it is a dumps.; int5 -> int6: the Tory is not lactic.; int6 & sent10 -> int7: that the cataloger is a kind of a bias that is lactic is not true.; sent8 -> int8: the fact that the cataloger is not distributive hold if that it is a kind of a bias and it is lactic is incorrect.; int7 & int8 -> hypothesis; __PROVED__