the bunsen is not inconstant.
sent1: something is bright and nonmigratory if the fact that it is usual is correct. sent2: the hydrant is not bright. sent3: the bunsen is a kind of a washwoman. sent4: if the Cairene is not bright the splat is not a tigress and/or it is inconstant. sent5: the dragonet is bright. sent6: the province confines goggle-eye and ridicules pocket-handkerchief. sent7: the bunsen is runic and it is a kind of a tigress. sent8: the bunsen does not confine goggle-eye and it is not a Avogadro. sent9: the fact that the bunsen is runic is correct. sent10: the glycerol is not non-runic and is usual. sent11: if the bunsen does not indurate and it does not ridicule pocket-handkerchief it is bright. sent12: the gonococcus is not bright. sent13: the Polish is inconstant. sent14: if something is inconstant and it does ridicule pocket-handkerchief then it is not runic. sent15: something is constant if it is bright and it is a tigress. sent16: the bars is both not a tigress and non-Wiccan. sent17: the bunsen does not ridicule pocket-handkerchief. sent18: the bunsen is credulous. sent19: the fact that something is not inconstant and it is not a tigress does not hold if that it is bright is correct. sent20: if the Oxford is bright and is not migratory the gridiron is not bright. sent21: the bunsen is not non-runic if it is an exclusive and it is non-diffuse. sent22: that the bunsen is inconstant hold if the splat is not a tigress and/or it is inconstant. sent23: the bunsen quibbles.
sent7 -> int1: the bunsen is a tigress.; sent15 -> int2: if that the bunsen is bright thing that is a tigress hold it is not inconstant.;
the glycerol is inconstant.
sent19 -> int3: if the glycerol is bright the fact that it is non-inconstant thing that is not a tigress is incorrect.; sent10 -> int4: the glycerol is runic.;
$hypothesis$ = the bunsen is not inconstant. ; $context$ = sent1: something is bright and nonmigratory if the fact that it is usual is correct. sent2: the hydrant is not bright. sent3: the bunsen is a kind of a washwoman. sent4: if the Cairene is not bright the splat is not a tigress and/or it is inconstant. sent5: the dragonet is bright. sent6: the province confines goggle-eye and ridicules pocket-handkerchief. sent7: the bunsen is runic and it is a kind of a tigress. sent8: the bunsen does not confine goggle-eye and it is not a Avogadro. sent9: the fact that the bunsen is runic is correct. sent10: the glycerol is not non-runic and is usual. sent11: if the bunsen does not indurate and it does not ridicule pocket-handkerchief it is bright. sent12: the gonococcus is not bright. sent13: the Polish is inconstant. sent14: if something is inconstant and it does ridicule pocket-handkerchief then it is not runic. sent15: something is constant if it is bright and it is a tigress. sent16: the bars is both not a tigress and non-Wiccan. sent17: the bunsen does not ridicule pocket-handkerchief. sent18: the bunsen is credulous. sent19: the fact that something is not inconstant and it is not a tigress does not hold if that it is bright is correct. sent20: if the Oxford is bright and is not migratory the gridiron is not bright. sent21: the bunsen is not non-runic if it is an exclusive and it is non-diffuse. sent22: that the bunsen is inconstant hold if the splat is not a tigress and/or it is inconstant. sent23: the bunsen quibbles. ; $proof$ = 
sent7 -> int1: the bunsen is a tigress.; sent15 -> int2: if that the bunsen is bright thing that is a tigress hold it is not inconstant.; __UNKNOWN__