the diphenhydramine is a wolfsbane and/or it is algometric.
sent1: the coroner does not reprise Connecticut if the Bannister is not a kind of a jetliner but it does luminesce. sent2: if the fact that the Bannister is not a kind of a jetliner but it luminesces is not correct then the lobster is a hauberk. sent3: if something is not generous but it is not a kind of an escort then the Bannister does not stare supertanker. sent4: there is something such that it stares supertanker. sent5: the Bannister disowns Ashur. sent6: if something is glossopharyngeal and/or it does not reprise Connecticut then it stares supertanker. sent7: that the lobster does stare supertanker is true. sent8: something is not glossopharyngeal if it is not a kind of an escort. sent9: there is something such that it is ungenerous and it does not escort. sent10: the Bannister does disown lobster but it is not algometric if the coroner is not a wolfsbane. sent11: That the supertanker does stare lobster is true. sent12: if the coroner does not reprise Connecticut then the preceptor is glossopharyngeal. sent13: the coroner is not a kind of a wolfsbane. sent14: there is something such that it is a kind of a hauberk. sent15: something is not glossopharyngeal if the fact that it escorts and it is ungenerous does not hold. sent16: if the fact that the amigo does reprise Connecticut and luminesces is not right then it is not algometric. sent17: the fact that the preceptor escorts and it is ungenerous is not true. sent18: if the amigo is not algometric the diphenhydramine is a wolfsbane or not algometric or both.
void -> assump1: Let's assume that the Bannister is not a jetliner but it luminesces.; sent1 & assump1 -> int1: the coroner does not reprise Connecticut.; int1 & sent12 -> int2: the preceptor is glossopharyngeal.; sent15 -> int3: if the fact that the preceptor is an escort and is ungenerous is incorrect it is not glossopharyngeal.; int3 & sent17 -> int4: the preceptor is not glossopharyngeal.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the Bannister is not a kind of a jetliner and does luminesce is false.; int6 & sent2 -> int7: the fact that the lobster is a kind of a hauberk is not wrong.; int7 & sent7 -> int8: the lobster is a hauberk and does stare supertanker.; int8 -> int9: there exists something such that it is a hauberk and it stares supertanker.;
the Bannister disowns lobster and does stare supertanker.
sent10 & sent13 -> int10: the Bannister disowns lobster and is not algometric.; int10 -> int11: that the Bannister disowns lobster hold.; sent6 -> int12: the Bannister does stare supertanker if either it is glossopharyngeal or it does not reprise Connecticut or both.;
$hypothesis$ = the diphenhydramine is a wolfsbane and/or it is algometric. ; $context$ = sent1: the coroner does not reprise Connecticut if the Bannister is not a kind of a jetliner but it does luminesce. sent2: if the fact that the Bannister is not a kind of a jetliner but it luminesces is not correct then the lobster is a hauberk. sent3: if something is not generous but it is not a kind of an escort then the Bannister does not stare supertanker. sent4: there is something such that it stares supertanker. sent5: the Bannister disowns Ashur. sent6: if something is glossopharyngeal and/or it does not reprise Connecticut then it stares supertanker. sent7: that the lobster does stare supertanker is true. sent8: something is not glossopharyngeal if it is not a kind of an escort. sent9: there is something such that it is ungenerous and it does not escort. sent10: the Bannister does disown lobster but it is not algometric if the coroner is not a wolfsbane. sent11: That the supertanker does stare lobster is true. sent12: if the coroner does not reprise Connecticut then the preceptor is glossopharyngeal. sent13: the coroner is not a kind of a wolfsbane. sent14: there is something such that it is a kind of a hauberk. sent15: something is not glossopharyngeal if the fact that it escorts and it is ungenerous does not hold. sent16: if the fact that the amigo does reprise Connecticut and luminesces is not right then it is not algometric. sent17: the fact that the preceptor escorts and it is ungenerous is not true. sent18: if the amigo is not algometric the diphenhydramine is a wolfsbane or not algometric or both. ; $proof$ = 
void -> assump1: Let's assume that the Bannister is not a jetliner but it luminesces.; sent1 & assump1 -> int1: the coroner does not reprise Connecticut.; int1 & sent12 -> int2: the preceptor is glossopharyngeal.; sent15 -> int3: if the fact that the preceptor is an escort and is ungenerous is incorrect it is not glossopharyngeal.; int3 & sent17 -> int4: the preceptor is not glossopharyngeal.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the Bannister is not a kind of a jetliner and does luminesce is false.; int6 & sent2 -> int7: the fact that the lobster is a kind of a hauberk is not wrong.; int7 & sent7 -> int8: the lobster is a hauberk and does stare supertanker.; int8 -> int9: there exists something such that it is a hauberk and it stares supertanker.; __UNKNOWN__