the Choctaw does not sin.
sent1: if the Choctaw is a kind of neuroendocrine thing that is a kind of a Kisumu it does not sin. sent2: there is something such that the fact that it is not a doubling is not right. sent3: if the coiffeur is not a kind of a idolization then the Choctaw is backhand. sent4: if the fact that something is not doubling or it is neuroendocrine or both is not right then it is a Kisumu. sent5: the Choctaw is a sin if the coiffeur is a sin. sent6: the coiffeur is nonexplosive if it is neuroendocrine. sent7: something is neuroendocrine if it is nonexplosive. sent8: the greenwood is a Kisumu or it is a doubling or both. sent9: the Choctaw is a Kisumu if that the greenwood is a Kisumu is correct. sent10: if the greenwood doubles the Choctaw is a Kisumu. sent11: something is a kind of a sin if the fact that it is a idolization is not false. sent12: the mastaba is endocrine thing that is expressible. sent13: that that the Choctaw does not backhand and/or it is hypovolemic hold is incorrect if the coiffeur is not a idolization. sent14: something is nonexplosive if the fact that it does not backhand and/or is hypovolemic is wrong. sent15: if that the Choctaw either is backhand or is hypovolemic or both is wrong then it is nonexplosive.
sent14 -> int1: the Choctaw is nonexplosive if the fact that it is not backhand and/or it is hypovolemic is not true.; sent7 -> int2: if the Choctaw is nonexplosive then it is neuroendocrine.; sent8 & sent9 & sent10 -> int3: the Choctaw is a Kisumu.;
the Choctaw is a sin.
sent11 -> int4: the coiffeur does sin if it is a idolization.;
$hypothesis$ = the Choctaw does not sin. ; $context$ = sent1: if the Choctaw is a kind of neuroendocrine thing that is a kind of a Kisumu it does not sin. sent2: there is something such that the fact that it is not a doubling is not right. sent3: if the coiffeur is not a kind of a idolization then the Choctaw is backhand. sent4: if the fact that something is not doubling or it is neuroendocrine or both is not right then it is a Kisumu. sent5: the Choctaw is a sin if the coiffeur is a sin. sent6: the coiffeur is nonexplosive if it is neuroendocrine. sent7: something is neuroendocrine if it is nonexplosive. sent8: the greenwood is a Kisumu or it is a doubling or both. sent9: the Choctaw is a Kisumu if that the greenwood is a Kisumu is correct. sent10: if the greenwood doubles the Choctaw is a Kisumu. sent11: something is a kind of a sin if the fact that it is a idolization is not false. sent12: the mastaba is endocrine thing that is expressible. sent13: that that the Choctaw does not backhand and/or it is hypovolemic hold is incorrect if the coiffeur is not a idolization. sent14: something is nonexplosive if the fact that it does not backhand and/or is hypovolemic is wrong. sent15: if that the Choctaw either is backhand or is hypovolemic or both is wrong then it is nonexplosive. ; $proof$ = 
sent14 -> int1: the Choctaw is nonexplosive if the fact that it is not backhand and/or it is hypovolemic is not true.; sent7 -> int2: if the Choctaw is nonexplosive then it is neuroendocrine.; sent8 & sent9 & sent10 -> int3: the Choctaw is a Kisumu.; __UNKNOWN__