the ensign results hologram.
sent1: the fact that the balbriggan is not autoplastic is correct. sent2: if something is a kind of a coleus then it is a kind of a jug. sent3: there exists something such that it does jug. sent4: if the balbriggan is not a aphrodisia and it does not unpick then the duffer is ferric. sent5: that the ensign is ferric and it results hologram is not correct if the hologram is not a kind of a crying. sent6: there are ferric things. sent7: the duffer is not a aphrodisia and is not a coleus if the balbriggan does unpick. sent8: the hologram results blasted but it is not a mainstream if it is not multilane. sent9: if the fact that something is a kind of ferric thing that results hologram does not hold it does not results hologram. sent10: the duffer results blasted and/or it is a coleus. sent11: the hologram does cry. sent12: there is something such that it does equivocate. sent13: if something results blasted it is a jug. sent14: something that does jug and is not a coleus does not cry. sent15: if a crying is a aphrodisia the hologram does result blasted. sent16: if the balbriggan is not a aphrodisia and does unpick the duffer is ferric. sent17: the ensign cries if it results hologram. sent18: something is a jug and it is younger if it is not autoplastic. sent19: if the balbriggan is a aphrodisia but it does not unpick then the duffer is ferric. sent20: the ensign results hologram if something is a jug that is ferric. sent21: either the hologram does result blasted or it is a kind of a crying or both. sent22: if that the balbriggan does jug is right then the hologram is a jug. sent23: if something does result blasted and is not a mainstream that it is not a coleus is right.
sent13 -> int1: if the duffer does result blasted then it does jug.; sent2 -> int2: the duffer is a jug if it is a coleus.; sent10 & int1 & int2 -> int3: the fact that the duffer jugs is correct.;
the ensign does not result hologram.
sent9 -> int4: the ensign does not result hologram if that it is a kind of ferric thing that does result hologram is incorrect.; sent14 -> int5: if the hologram is both a jug and not a coleus it is not a crying.; sent18 -> int6: if the balbriggan is not autoplastic it is a jug and younger.; int6 & sent1 -> int7: the balbriggan is a jug and younger.; int7 -> int8: the balbriggan jugs.; sent22 & int8 -> int9: the hologram is a jug.; sent23 -> int10: that the hologram is not a coleus is true if it does result blasted and it is not a mainstream.;
$hypothesis$ = the ensign results hologram. ; $context$ = sent1: the fact that the balbriggan is not autoplastic is correct. sent2: if something is a kind of a coleus then it is a kind of a jug. sent3: there exists something such that it does jug. sent4: if the balbriggan is not a aphrodisia and it does not unpick then the duffer is ferric. sent5: that the ensign is ferric and it results hologram is not correct if the hologram is not a kind of a crying. sent6: there are ferric things. sent7: the duffer is not a aphrodisia and is not a coleus if the balbriggan does unpick. sent8: the hologram results blasted but it is not a mainstream if it is not multilane. sent9: if the fact that something is a kind of ferric thing that results hologram does not hold it does not results hologram. sent10: the duffer results blasted and/or it is a coleus. sent11: the hologram does cry. sent12: there is something such that it does equivocate. sent13: if something results blasted it is a jug. sent14: something that does jug and is not a coleus does not cry. sent15: if a crying is a aphrodisia the hologram does result blasted. sent16: if the balbriggan is not a aphrodisia and does unpick the duffer is ferric. sent17: the ensign cries if it results hologram. sent18: something is a jug and it is younger if it is not autoplastic. sent19: if the balbriggan is a aphrodisia but it does not unpick then the duffer is ferric. sent20: the ensign results hologram if something is a jug that is ferric. sent21: either the hologram does result blasted or it is a kind of a crying or both. sent22: if that the balbriggan does jug is right then the hologram is a jug. sent23: if something does result blasted and is not a mainstream that it is not a coleus is right. ; $proof$ = 
sent13 -> int1: if the duffer does result blasted then it does jug.; sent2 -> int2: the duffer is a jug if it is a coleus.; sent10 & int1 & int2 -> int3: the fact that the duffer jugs is correct.; __UNKNOWN__