the blowing is not axile.
sent1: the mansard is tubercular if something is tubercular and/or is a kind of a Theban. sent2: that the mansard is a autoinjector or it is not a paganism or both does not hold if the tidemark is not a autoinjector. sent3: something is both not a Lodge and Babylonian if it is a autoinjector. sent4: the bicycle is a biennial and/or it is a autoinjector. sent5: if the bicycle is not a biennial the narrowing dominates. sent6: the mansard is tubercular if there exists something such that it is Theban. sent7: if something is not a Lodge the fact that it is biennial and not a Argive is not correct. sent8: the blowing is a kind of a autoinjector if that the bicycle is a kind of a paganism and/or it is not a autoinjector is false. sent9: the narrowing does dominate if the fact that the bicycle is biennial and not Argive is incorrect. sent10: the bicycle is a kind of a Babylonian if the fact that it is a Lodge is not false. sent11: the fact that the fact that the narrowing does not whistle paletiology and is not the leopard does not hold if the narrowing does dominate hold. sent12: that if the bicycle is a Babylonian the tidemark is not a autoinjector is not false. sent13: either the mansard is a autoinjector or it is not a paganism or both if it is tubercular. sent14: the tidemark is Argive. sent15: that either something is a kind of a paganism or it is not a autoinjector or both is not true if it is not a biennial. sent16: if something that is not a Lodge is a kind of a Babylonian the fact that it is axile is not incorrect. sent17: the bicycle is not pretentious. sent18: if that the narrowing does not whistle paletiology and is not a leopard is not true the blowing is not axile. sent19: that the blowing is non-axile thing that is not a leopard is wrong.
void -> assump1: Let's assume that the bicycle is a Lodge.; sent10 & assump1 -> int1: the bicycle is Babylonian.; int1 & sent12 -> int2: the tidemark is not a autoinjector.; int2 & sent2 -> int3: the fact that the mansard is a autoinjector and/or it is not a kind of a paganism does not hold.; sent7 -> int4: if the bicycle is not a Lodge then the fact that it is a kind of biennial thing that is not a kind of a Argive does not hold.;
the blowing is axile.
sent16 -> int5: if the blowing is not a Lodge but it is a kind of a Babylonian it is axile.; sent3 -> int6: the blowing is not a Lodge but a Babylonian if the fact that it is a autoinjector is correct.; sent15 -> int7: the fact that either the bicycle is a paganism or it is not a autoinjector or both is not right if it is not a biennial.;
$hypothesis$ = the blowing is not axile. ; $context$ = sent1: the mansard is tubercular if something is tubercular and/or is a kind of a Theban. sent2: that the mansard is a autoinjector or it is not a paganism or both does not hold if the tidemark is not a autoinjector. sent3: something is both not a Lodge and Babylonian if it is a autoinjector. sent4: the bicycle is a biennial and/or it is a autoinjector. sent5: if the bicycle is not a biennial the narrowing dominates. sent6: the mansard is tubercular if there exists something such that it is Theban. sent7: if something is not a Lodge the fact that it is biennial and not a Argive is not correct. sent8: the blowing is a kind of a autoinjector if that the bicycle is a kind of a paganism and/or it is not a autoinjector is false. sent9: the narrowing does dominate if the fact that the bicycle is biennial and not Argive is incorrect. sent10: the bicycle is a kind of a Babylonian if the fact that it is a Lodge is not false. sent11: the fact that the fact that the narrowing does not whistle paletiology and is not the leopard does not hold if the narrowing does dominate hold. sent12: that if the bicycle is a Babylonian the tidemark is not a autoinjector is not false. sent13: either the mansard is a autoinjector or it is not a paganism or both if it is tubercular. sent14: the tidemark is Argive. sent15: that either something is a kind of a paganism or it is not a autoinjector or both is not true if it is not a biennial. sent16: if something that is not a Lodge is a kind of a Babylonian the fact that it is axile is not incorrect. sent17: the bicycle is not pretentious. sent18: if that the narrowing does not whistle paletiology and is not a leopard is not true the blowing is not axile. sent19: that the blowing is non-axile thing that is not a leopard is wrong. ; $proof$ = 
void -> assump1: Let's assume that the bicycle is a Lodge.; sent10 & assump1 -> int1: the bicycle is Babylonian.; int1 & sent12 -> int2: the tidemark is not a autoinjector.; int2 & sent2 -> int3: the fact that the mansard is a autoinjector and/or it is not a kind of a paganism does not hold.; sent7 -> int4: if the bicycle is not a Lodge then the fact that it is a kind of biennial thing that is not a kind of a Argive does not hold.; __UNKNOWN__