the goitrogen is not a papering.
sent1: if there exists something such that it glazes sliding and is custard-like the allotropy does ogle jawan. sent2: everything glazes sliding and it is not non-custard-like. sent3: the puddler does not glaze allotropy if that the lode is a happiness hold. sent4: the allotropy does not ogle jawan if that the lode is not a happiness but it is a papering is not false. sent5: the Marshall does not glaze allotropy and is not autoradiographic if the puddler does not glaze allotropy. sent6: if the Marshall does not glaze allotropy and is not autoradiographic the goitrogen does not paper. sent7: something is a happiness if it is diaphyseal. sent8: the lode is diaphyseal if the allotropy is Anglo-catholic.
sent2 -> int1: the ward-heeler does glaze sliding and it is custard-like.; int1 -> int2: something does glaze sliding and it is custard-like.; int2 & sent1 -> int3: the allotropy does ogle jawan.; sent7 -> int4: if the lode is diaphyseal then it is a happiness.;
$hypothesis$ = the goitrogen is not a papering. ; $context$ = sent1: if there exists something such that it glazes sliding and is custard-like the allotropy does ogle jawan. sent2: everything glazes sliding and it is not non-custard-like. sent3: the puddler does not glaze allotropy if that the lode is a happiness hold. sent4: the allotropy does not ogle jawan if that the lode is not a happiness but it is a papering is not false. sent5: the Marshall does not glaze allotropy and is not autoradiographic if the puddler does not glaze allotropy. sent6: if the Marshall does not glaze allotropy and is not autoradiographic the goitrogen does not paper. sent7: something is a happiness if it is diaphyseal. sent8: the lode is diaphyseal if the allotropy is Anglo-catholic. ; $proof$ = 
sent2 -> int1: the ward-heeler does glaze sliding and it is custard-like.; int1 -> int2: something does glaze sliding and it is custard-like.; int2 & sent1 -> int3: the allotropy does ogle jawan.; sent7 -> int4: if the lode is diaphyseal then it is a happiness.; __UNKNOWN__