the birdcage is topless.
sent1: if something does not culminate then it is eccrine. sent2: the birdcage is not a kind of a repertory if there is something such that it is a Narthecium. sent3: the emitter is a puller. sent4: there is something such that it is unstoppable. sent5: the acanthus is hydrographic. sent6: the birdcage is last. sent7: something is not topless if it is a kind of a Narthecium. sent8: the storage is a kind of a Franciscan if the emitter is a kind of a puller. sent9: if the phentolamine is eccrine the storage is a repertory. sent10: the birdcage is not a Narthecium. sent11: the birdcage is not a slant. sent12: the birdcage is anatropous. sent13: that something is a Narthecium hold. sent14: there exists something such that it is topless. sent15: if the donor is antigenic and it is a kind of a Ovid the phentolamine does not culminate. sent16: the donor is a kind of a Ovid that is not non-impetiginous if it is not phonic. sent17: the donor is not non-antigenic.
sent13 & sent2 -> int1: the fact that the birdcage is not a kind of a repertory is not false.;
the fact that the birdcage is not topless is correct.
sent7 -> int2: that the birdcage is not topless is correct if it is a Narthecium.; sent8 & sent3 -> int3: the storage is a Franciscan.; sent1 -> int4: if the phentolamine does not culminate then it is eccrine.;
$hypothesis$ = the birdcage is topless. ; $context$ = sent1: if something does not culminate then it is eccrine. sent2: the birdcage is not a kind of a repertory if there is something such that it is a Narthecium. sent3: the emitter is a puller. sent4: there is something such that it is unstoppable. sent5: the acanthus is hydrographic. sent6: the birdcage is last. sent7: something is not topless if it is a kind of a Narthecium. sent8: the storage is a kind of a Franciscan if the emitter is a kind of a puller. sent9: if the phentolamine is eccrine the storage is a repertory. sent10: the birdcage is not a Narthecium. sent11: the birdcage is not a slant. sent12: the birdcage is anatropous. sent13: that something is a Narthecium hold. sent14: there exists something such that it is topless. sent15: if the donor is antigenic and it is a kind of a Ovid the phentolamine does not culminate. sent16: the donor is a kind of a Ovid that is not non-impetiginous if it is not phonic. sent17: the donor is not non-antigenic. ; $proof$ = 
sent13 & sent2 -> int1: the fact that the birdcage is not a kind of a repertory is not false.; __UNKNOWN__