the globulin does not seek.
sent1: if the globulin is an accuracy then it is a whippet. sent2: the globulin is a BMDO if it is a kind of a tarragon. sent3: the globulin is wigless if that the doxepin is a kind of a tarragon is not incorrect. sent4: the fact that the doxepin squeegees gallinule is not incorrect. sent5: if the globulin is a BMDO then it is a seeking. sent6: the papovavirus is a kind of a BMDO. sent7: the doxepin is a kind of a tarragon if it is a campstool. sent8: the fact that the VAT is wigless hold. sent9: if the globulin seeks it smooths. sent10: the doxepin is wigless if it is a kind of a seeking. sent11: the doxepin is wigless. sent12: the fact that the globulin does seek is true if that it is wigless hold. sent13: if the doxepin is wigless the globulin is a tarragon. sent14: the globulin is immature. sent15: the globulin is a schnook. sent16: the maceration is wigless. sent17: if the fact that something is both a tarragon and not wigless is false it is not a seeking. sent18: the doxepin is paintable. sent19: the platyctenean is a kind of a BMDO.
sent13 & sent11 -> int1: the globulin is a tarragon.; int1 & sent2 -> int2: the globulin is a BMDO.; int2 & sent5 -> hypothesis;
the globulin is not a seeking.
sent17 -> int3: the globulin is not a seeking if the fact that it is a kind of a tarragon and it is not wigless is not true.;
$hypothesis$ = the globulin does not seek. ; $context$ = sent1: if the globulin is an accuracy then it is a whippet. sent2: the globulin is a BMDO if it is a kind of a tarragon. sent3: the globulin is wigless if that the doxepin is a kind of a tarragon is not incorrect. sent4: the fact that the doxepin squeegees gallinule is not incorrect. sent5: if the globulin is a BMDO then it is a seeking. sent6: the papovavirus is a kind of a BMDO. sent7: the doxepin is a kind of a tarragon if it is a campstool. sent8: the fact that the VAT is wigless hold. sent9: if the globulin seeks it smooths. sent10: the doxepin is wigless if it is a kind of a seeking. sent11: the doxepin is wigless. sent12: the fact that the globulin does seek is true if that it is wigless hold. sent13: if the doxepin is wigless the globulin is a tarragon. sent14: the globulin is immature. sent15: the globulin is a schnook. sent16: the maceration is wigless. sent17: if the fact that something is both a tarragon and not wigless is false it is not a seeking. sent18: the doxepin is paintable. sent19: the platyctenean is a kind of a BMDO. ; $proof$ = 
sent13 & sent11 -> int1: the globulin is a tarragon.; int1 & sent2 -> int2: the globulin is a BMDO.; int2 & sent5 -> hypothesis; __DISPROVED__