the bitmap is a lemur.
sent1: if something that is tragicomic does not deduce Italy the bitmap is a lemur. sent2: there is something such that it does not deduce chain and it is annual. sent3: if there exists something such that it does not deduce chain and it is not a kind of an annual the bitmap is a payoff. sent4: the bitmap is a payoff if there exists something such that it does deduce chain and is not annual. sent5: the niobium is a payoff. sent6: the bitmap is non-tragicomic thing that does misconstrue Trafalgar. sent7: the sieve is a greyback and it is tragicomic. sent8: that the niobium does not deduce chain hold if it deduces Italy and is tragicomic. sent9: the bitmap is not a lemur if it is a argy-bargy and it deduces Italy. sent10: the fact that the niobium does not deduce chain and it is not annual is not wrong if there exists something such that that it is not uninfluential hold. sent11: the bitmap is a argy-bargy if the fact that it is a kind of a payoff is true. sent12: the Thracian is not a payoff and it does not hobnob. sent13: there exists something such that it is not uninfluential. sent14: something that does not deduce chain is a kind of uninfluential thing that is a lemur. sent15: if the bitmap is not tragicomic but it does misconstrue Trafalgar then it deduces Italy. sent16: if something that does not misconstrue Trafalgar is tragicomic then the bitmap is a argy-bargy.
sent13 & sent10 -> int1: the niobium does not deduce chain and it is not a kind of an annual.; int1 -> int2: something does not deduce chain and it is not a kind of an annual.; int2 & sent3 -> int3: the bitmap is a payoff.; int3 & sent11 -> int4: the bitmap is a argy-bargy.; sent15 & sent6 -> int5: the bitmap does deduce Italy.; int4 & int5 -> int6: the bitmap is a kind of a argy-bargy and it does deduce Italy.; int6 & sent9 -> hypothesis;
the bitmap is a lemur.
sent14 -> int7: the bitmap is uninfluential and it is a lemur if it does not deduce chain.;
$hypothesis$ = the bitmap is a lemur. ; $context$ = sent1: if something that is tragicomic does not deduce Italy the bitmap is a lemur. sent2: there is something such that it does not deduce chain and it is annual. sent3: if there exists something such that it does not deduce chain and it is not a kind of an annual the bitmap is a payoff. sent4: the bitmap is a payoff if there exists something such that it does deduce chain and is not annual. sent5: the niobium is a payoff. sent6: the bitmap is non-tragicomic thing that does misconstrue Trafalgar. sent7: the sieve is a greyback and it is tragicomic. sent8: that the niobium does not deduce chain hold if it deduces Italy and is tragicomic. sent9: the bitmap is not a lemur if it is a argy-bargy and it deduces Italy. sent10: the fact that the niobium does not deduce chain and it is not annual is not wrong if there exists something such that that it is not uninfluential hold. sent11: the bitmap is a argy-bargy if the fact that it is a kind of a payoff is true. sent12: the Thracian is not a payoff and it does not hobnob. sent13: there exists something such that it is not uninfluential. sent14: something that does not deduce chain is a kind of uninfluential thing that is a lemur. sent15: if the bitmap is not tragicomic but it does misconstrue Trafalgar then it deduces Italy. sent16: if something that does not misconstrue Trafalgar is tragicomic then the bitmap is a argy-bargy. ; $proof$ = 
sent13 & sent10 -> int1: the niobium does not deduce chain and it is not a kind of an annual.; int1 -> int2: something does not deduce chain and it is not a kind of an annual.; int2 & sent3 -> int3: the bitmap is a payoff.; int3 & sent11 -> int4: the bitmap is a argy-bargy.; sent15 & sent6 -> int5: the bitmap does deduce Italy.; int4 & int5 -> int6: the bitmap is a kind of a argy-bargy and it does deduce Italy.; int6 & sent9 -> hypothesis; __DISPROVED__