the fact that the gunman is anasarcous and it does enclose Athapaskan is not correct.
sent1: if something that does not calcify is insecticidal it does enclose Athapaskan. sent2: if there is something such that it is not cowardly and not a sunlight the gunman is anasarcous. sent3: the gunman does not calcify. sent4: the ribbon is not immature if it is Christological. sent5: the ribbon is not a sunlight. sent6: the ribbon either is a kind of a schipperke or is Christological or both. sent7: there exists something such that it is not a kind of a sunlight. sent8: something is not cowardly and is not a kind of a sunlight if it is not immature. sent9: the gunman is insecticidal. sent10: there exists something such that it is both cowardly and not a sunlight. sent11: the fact that something is anasarcous and it encloses Athapaskan is wrong if it is not a sunlight. sent12: something is not immature if that it is a schipperke or it is Christological or both is not false.
sent12 -> int1: the ribbon is not immature if it is a schipperke and/or it is Christological.; int1 & sent6 -> int2: the ribbon is not immature.; sent8 -> int3: if the ribbon is not immature it is both non-cowardly and not a sunlight.; int2 & int3 -> int4: the ribbon is not cowardly and not a sunlight.; int4 -> int5: there exists something such that it is not cowardly and it is not a sunlight.; int5 & sent2 -> int6: the gunman is anasarcous.; sent1 -> int7: if the gunman does not calcify and is insecticidal then it encloses Athapaskan.; sent3 & sent9 -> int8: the gunman does not calcify but it is insecticidal.; int7 & int8 -> int9: the gunman encloses Athapaskan.; int6 & int9 -> hypothesis;
the fact that the gunman is anasarcous and does enclose Athapaskan does not hold.
sent11 -> int10: the fact that that the gunman is anasarcous and it encloses Athapaskan is true is not true if it is not a sunlight.;
$hypothesis$ = the fact that the gunman is anasarcous and it does enclose Athapaskan is not correct. ; $context$ = sent1: if something that does not calcify is insecticidal it does enclose Athapaskan. sent2: if there is something such that it is not cowardly and not a sunlight the gunman is anasarcous. sent3: the gunman does not calcify. sent4: the ribbon is not immature if it is Christological. sent5: the ribbon is not a sunlight. sent6: the ribbon either is a kind of a schipperke or is Christological or both. sent7: there exists something such that it is not a kind of a sunlight. sent8: something is not cowardly and is not a kind of a sunlight if it is not immature. sent9: the gunman is insecticidal. sent10: there exists something such that it is both cowardly and not a sunlight. sent11: the fact that something is anasarcous and it encloses Athapaskan is wrong if it is not a sunlight. sent12: something is not immature if that it is a schipperke or it is Christological or both is not false. ; $proof$ = 
sent12 -> int1: the ribbon is not immature if it is a schipperke and/or it is Christological.; int1 & sent6 -> int2: the ribbon is not immature.; sent8 -> int3: if the ribbon is not immature it is both non-cowardly and not a sunlight.; int2 & int3 -> int4: the ribbon is not cowardly and not a sunlight.; int4 -> int5: there exists something such that it is not cowardly and it is not a sunlight.; int5 & sent2 -> int6: the gunman is anasarcous.; sent1 -> int7: if the gunman does not calcify and is insecticidal then it encloses Athapaskan.; sent3 & sent9 -> int8: the gunman does not calcify but it is insecticidal.; int7 & int8 -> int9: the gunman encloses Athapaskan.; int6 & int9 -> hypothesis; __DISPROVED__