if the poacher irradiates coelostat then the stephanion does not lexicalize indemnity.
sent1: if the tambourine does not batch discordance the fact that the stephanion is a horst and it does batch discordance is not correct. sent2: if there is something such that it does not lexicalize indemnity and/or does not batch discordance then the aquatint does not irradiate coelostat. sent3: if something does not irradiate coelostat that it is a kind of a horst and it is eligible is false. sent4: the tambourine does not batch discordance if the poacher irradiates coelostat. sent5: the stephanion does lexicalize indemnity. sent6: the stephanion does lexicalize indemnity if the poacher does irradiate coelostat. sent7: if the tambourine is pompous that the poacher does batch discordance but it does not irradiate abolition is not right. sent8: the tambourine is antitypic and is cenobitic if it does not amaze. sent9: something does not lexicalize indemnity if that it is a horst that batches discordance is not correct. sent10: the fact that the tambourine does not amaze is right. sent11: something does not batch discordance if that it batch discordance and it does not irradiate abolition is not true. sent12: something is pompous if it is antitypic.
void -> assump1: Let's assume that the poacher irradiates coelostat.; sent4 & assump1 -> int1: the tambourine does not batch discordance.; int1 & sent1 -> int2: the fact that the stephanion is a horst and does batch discordance is false.; sent9 -> int3: if the fact that the stephanion is a horst that does batch discordance is not right then it does not lexicalize indemnity.; int2 & int3 -> int4: the stephanion does not lexicalize indemnity.; [assump1] & int4 -> hypothesis;
that the aquatint is a horst and it is eligible is incorrect.
sent3 -> int5: if the aquatint does not irradiate coelostat then that it is a horst and it is eligible is wrong.; sent11 -> int6: the poacher does not batch discordance if the fact that it batch discordance and does not irradiate abolition is not right.; sent12 -> int7: the tambourine is pompous if it is antitypic.; sent8 & sent10 -> int8: that the tambourine is antitypic and it is cenobitic is right.; int8 -> int9: the tambourine is antitypic.; int7 & int9 -> int10: that the fact that the tambourine is not pompous hold is incorrect.; sent7 & int10 -> int11: that the poacher does batch discordance but it does not irradiate abolition does not hold.; int6 & int11 -> int12: the poacher does not batch discordance.; int12 -> int13: the poacher does not lexicalize indemnity and/or it does not batch discordance.; int13 -> int14: there is something such that it does not lexicalize indemnity or does not batch discordance or both.; int14 & sent2 -> int15: the aquatint does not irradiate coelostat.; int5 & int15 -> hypothesis;
$hypothesis$ = if the poacher irradiates coelostat then the stephanion does not lexicalize indemnity. ; $context$ = sent1: if the tambourine does not batch discordance the fact that the stephanion is a horst and it does batch discordance is not correct. sent2: if there is something such that it does not lexicalize indemnity and/or does not batch discordance then the aquatint does not irradiate coelostat. sent3: if something does not irradiate coelostat that it is a kind of a horst and it is eligible is false. sent4: the tambourine does not batch discordance if the poacher irradiates coelostat. sent5: the stephanion does lexicalize indemnity. sent6: the stephanion does lexicalize indemnity if the poacher does irradiate coelostat. sent7: if the tambourine is pompous that the poacher does batch discordance but it does not irradiate abolition is not right. sent8: the tambourine is antitypic and is cenobitic if it does not amaze. sent9: something does not lexicalize indemnity if that it is a horst that batches discordance is not correct. sent10: the fact that the tambourine does not amaze is right. sent11: something does not batch discordance if that it batch discordance and it does not irradiate abolition is not true. sent12: something is pompous if it is antitypic. ; $proof$ = 
void -> assump1: Let's assume that the poacher irradiates coelostat.; sent4 & assump1 -> int1: the tambourine does not batch discordance.; int1 & sent1 -> int2: the fact that the stephanion is a horst and does batch discordance is false.; sent9 -> int3: if the fact that the stephanion is a horst that does batch discordance is not right then it does not lexicalize indemnity.; int2 & int3 -> int4: the stephanion does not lexicalize indemnity.; [assump1] & int4 -> hypothesis; __PROVED__