the zabaglione does not exacerbate Glaucium.
sent1: the alkene is not non-zoonotic. sent2: the cotoneaster is not a Algol and it does not discard Wesleyan if it is not a cranny. sent3: if the alkene does not drain alkene or it is a thermogravimetry or both the zabaglione drain alkene. sent4: something that either drains alkene or is not a Algol or both is zoonotic. sent5: the alkene is not a largess but it does vitrify. sent6: if that the zabaglione is zoonotic is right then it does exacerbate Glaucium. sent7: the cotoneaster does drain alkene if the alkene is not a largess but it vitrifies. sent8: if the cotoneaster is not a Algol and it does not discard Wesleyan the alkene is not a Algol. sent9: the zabaglione does drain alkene and/or is not a kind of a Algol if the cotoneaster does drain alkene. sent10: something does not drain alkene and/or is a thermogravimetry if the fact that it is not a Algol is correct.
sent7 & sent5 -> int1: the cotoneaster does drain alkene.; int1 & sent9 -> int2: the zabaglione drains alkene and/or it is not a kind of a Algol.; sent4 -> int3: if the zabaglione drains alkene and/or it is not a Algol it is zoonotic.; int2 & int3 -> int4: the zabaglione is zoonotic.; int4 & sent6 -> hypothesis;
the zabaglione does not exacerbate Glaucium.
sent10 -> int5: if the alkene is not a kind of a Algol then it does not drain alkene and/or it is a kind of a thermogravimetry.;
$hypothesis$ = the zabaglione does not exacerbate Glaucium. ; $context$ = sent1: the alkene is not non-zoonotic. sent2: the cotoneaster is not a Algol and it does not discard Wesleyan if it is not a cranny. sent3: if the alkene does not drain alkene or it is a thermogravimetry or both the zabaglione drain alkene. sent4: something that either drains alkene or is not a Algol or both is zoonotic. sent5: the alkene is not a largess but it does vitrify. sent6: if that the zabaglione is zoonotic is right then it does exacerbate Glaucium. sent7: the cotoneaster does drain alkene if the alkene is not a largess but it vitrifies. sent8: if the cotoneaster is not a Algol and it does not discard Wesleyan the alkene is not a Algol. sent9: the zabaglione does drain alkene and/or is not a kind of a Algol if the cotoneaster does drain alkene. sent10: something does not drain alkene and/or is a thermogravimetry if the fact that it is not a Algol is correct. ; $proof$ = 
sent7 & sent5 -> int1: the cotoneaster does drain alkene.; int1 & sent9 -> int2: the zabaglione drains alkene and/or it is not a kind of a Algol.; sent4 -> int3: if the zabaglione drains alkene and/or it is not a Algol it is zoonotic.; int2 & int3 -> int4: the zabaglione is zoonotic.; int4 & sent6 -> hypothesis; __DISPROVED__