if the grad is arborical then the upgrade drinks aa but it is not a diazoxide.
sent1: there exists something such that the fact that it emotes daily and it is a kind of a diazoxide is not true. sent2: the upgrade drinks aa. sent3: the upgrade is a partitive. sent4: if the shoulder soars then the grad is a toga. sent5: the grad is both a soaring and not a toga if the upgrade is not a diazoxide. sent6: if the pyromaniac does not emote daily then the upgrade drinks aa and is not a diazoxide. sent7: the shoulder soars if there is something such that it is not sanitary. sent8: the upgrade does emote daily. sent9: if there is something such that the fact that it does denationalize hutch and it is sanitary is false then that the shoulder soars hold. sent10: there exists something such that the fact that it denationalizes hutch and it is sanitary is not true. sent11: if the pyromaniac does not emote daily the upgrade does drink aa. sent12: the upgrade does drink aa and is a kind of a diazoxide if the pyromaniac does not emote daily. sent13: if the fact that the grad is arborical is true then the upgrade drinks aa and it is a diazoxide. sent14: there is something such that it does denationalize hutch and it is sanitary. sent15: if the grad is a diazoxide then the upgrade is not non-arborical. sent16: the upgrade drinks aa and it is a diazoxide. sent17: the pyromaniac does not emote daily if the grad is a toga that is arborical. sent18: if the grad is arborical then the upgrade does drink aa.
sent10 & sent9 -> int1: the fact that the shoulder is a soaring is right.; sent4 & int1 -> int2: the grad is a toga.; void -> assump1: Let's assume that the grad is arborical.; int2 & assump1 -> int3: that the grad is both a toga and arborical is not incorrect.; sent17 & int3 -> int4: the pyromaniac does not emote daily.; sent6 & int4 -> int5: the upgrade does drink aa but it is not a diazoxide.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the grad is arborical then the upgrade drinks aa but it is not a diazoxide. ; $context$ = sent1: there exists something such that the fact that it emotes daily and it is a kind of a diazoxide is not true. sent2: the upgrade drinks aa. sent3: the upgrade is a partitive. sent4: if the shoulder soars then the grad is a toga. sent5: the grad is both a soaring and not a toga if the upgrade is not a diazoxide. sent6: if the pyromaniac does not emote daily then the upgrade drinks aa and is not a diazoxide. sent7: the shoulder soars if there is something such that it is not sanitary. sent8: the upgrade does emote daily. sent9: if there is something such that the fact that it does denationalize hutch and it is sanitary is false then that the shoulder soars hold. sent10: there exists something such that the fact that it denationalizes hutch and it is sanitary is not true. sent11: if the pyromaniac does not emote daily the upgrade does drink aa. sent12: the upgrade does drink aa and is a kind of a diazoxide if the pyromaniac does not emote daily. sent13: if the fact that the grad is arborical is true then the upgrade drinks aa and it is a diazoxide. sent14: there is something such that it does denationalize hutch and it is sanitary. sent15: if the grad is a diazoxide then the upgrade is not non-arborical. sent16: the upgrade drinks aa and it is a diazoxide. sent17: the pyromaniac does not emote daily if the grad is a toga that is arborical. sent18: if the grad is arborical then the upgrade does drink aa. ; $proof$ = 
sent10 & sent9 -> int1: the fact that the shoulder is a soaring is right.; sent4 & int1 -> int2: the grad is a toga.; void -> assump1: Let's assume that the grad is arborical.; int2 & assump1 -> int3: that the grad is both a toga and arborical is not incorrect.; sent17 & int3 -> int4: the pyromaniac does not emote daily.; sent6 & int4 -> int5: the upgrade does drink aa but it is not a diazoxide.; [assump1] & int5 -> hypothesis; __PROVED__