the buttermilk is not a kind of a GHB.
sent1: the isogone is a kind of a AFL that does surprise Neva if it is not Augustan. sent2: if that something surprises Hoyle and is not archival does not hold then it is myeloid. sent3: if something is archival then it is myeloid. sent4: the fact that the fundus does surprise Hoyle but it is not archival is false. sent5: the fundus is ulcerative. sent6: if something is not a ancestress that it is ulcerative and it is not myeloid is not right. sent7: that the fundus does surprise Hoyle and is archival is not correct. sent8: something is not a ancestress if the fact that it is not a AFL and it is not Brazilian does not hold. sent9: if the fact that something is a kind of myeloid thing that is not a ancestress is not right then it is a kind of a GHB. sent10: the fundus is a exodontist. sent11: the buttermilk is not a ancestress if the fundus is ulcerative and is myeloid. sent12: if that the watchmaker is not non-ulcerative but it is not myeloid is not true the buttermilk is a GHB. sent13: the Jewbush is not Andean if it is not archival. sent14: if the watchmaker is not a ancestress the buttermilk is myeloid and it is ulcerative. sent15: if the fact that the isogone is both meager and Augustan does not hold it is not Augustan. sent16: the fundus is myeloid if it is archival.
sent2 -> int1: if that the fundus surprises Hoyle but it is not archival is not correct then it is myeloid.; int1 & sent4 -> int2: the fundus is myeloid.; int2 & sent5 -> int3: the fundus is both not non-ulcerative and myeloid.; int3 & sent11 -> int4: the buttermilk is not a ancestress.;
the buttermilk is a GHB.
sent6 -> int5: the fact that the watchmaker is both ulcerative and non-myeloid is not true if it is not a ancestress.; sent8 -> int6: the watchmaker is not a kind of a ancestress if that it is not a kind of a AFL and it is not a kind of a Brazilian is incorrect.;
$hypothesis$ = the buttermilk is not a kind of a GHB. ; $context$ = sent1: the isogone is a kind of a AFL that does surprise Neva if it is not Augustan. sent2: if that something surprises Hoyle and is not archival does not hold then it is myeloid. sent3: if something is archival then it is myeloid. sent4: the fact that the fundus does surprise Hoyle but it is not archival is false. sent5: the fundus is ulcerative. sent6: if something is not a ancestress that it is ulcerative and it is not myeloid is not right. sent7: that the fundus does surprise Hoyle and is archival is not correct. sent8: something is not a ancestress if the fact that it is not a AFL and it is not Brazilian does not hold. sent9: if the fact that something is a kind of myeloid thing that is not a ancestress is not right then it is a kind of a GHB. sent10: the fundus is a exodontist. sent11: the buttermilk is not a ancestress if the fundus is ulcerative and is myeloid. sent12: if that the watchmaker is not non-ulcerative but it is not myeloid is not true the buttermilk is a GHB. sent13: the Jewbush is not Andean if it is not archival. sent14: if the watchmaker is not a ancestress the buttermilk is myeloid and it is ulcerative. sent15: if the fact that the isogone is both meager and Augustan does not hold it is not Augustan. sent16: the fundus is myeloid if it is archival. ; $proof$ = 
sent2 -> int1: if that the fundus surprises Hoyle but it is not archival is not correct then it is myeloid.; int1 & sent4 -> int2: the fundus is myeloid.; int2 & sent5 -> int3: the fundus is both not non-ulcerative and myeloid.; int3 & sent11 -> int4: the buttermilk is not a ancestress.; __UNKNOWN__