the kingdom is antipollution.
sent1: that the dent is both neolithic and synchronic is not right. sent2: that if the chimneystack is not synchronic that the dent is neolithic thing that is not synchronic does not hold is true. sent3: that the chimneystack is not synchronic hold if that the tam does refrain chimneystack and it is a bull's-eye is not right. sent4: that the tam does refrain chimneystack and is a bull's-eye is incorrect. sent5: the fact that the kingdom does refrain tetrose and is not a bull's-eye is false if the tam is not a kind of a bull's-eye. sent6: if that the tam does not refrain chimneystack hold then the chimneystack is not synchronic. sent7: if the dent is not an inkblot then the kingdom is not an inkblot and/or does not refrain tetrose. sent8: if the dent is not an inkblot then the kingdom is a kind of an inkblot or does not refrain tetrose or both. sent9: the kingdom either is an inkblot or does not refrain tetrose or both. sent10: if the chimneystack is not synchronic that the dent is neolithic and not synchronic does not hold. sent11: if the dent is synchronic then it is not an inkblot. sent12: the kingdom is not antipollution if it is not an inkblot and/or it does not refrain tetrose. sent13: something is not an inkblot if it is synchronic. sent14: something is not an inkblot if the fact that it is neolithic and is not synchronic does not hold. sent15: if that the dent is not a kind of an inkblot is right then the kingdom is not a kind of an inkblot and/or refrains tetrose. sent16: the kingdom is not an inkblot and/or it refrains tetrose.
sent3 & sent4 -> int1: that the chimneystack is synchronic does not hold.; int1 & sent10 -> int2: the fact that the dent is neolithic but it is not synchronic does not hold.; sent14 -> int3: if the fact that that the dent is neolithic but it is not synchronic is false is not incorrect it is not an inkblot.; int2 & int3 -> int4: the dent is not a kind of an inkblot.; int4 & sent7 -> int5: the kingdom is not an inkblot and/or does not refrain tetrose.; int5 & sent12 -> hypothesis;
$hypothesis$ = the kingdom is antipollution. ; $context$ = sent1: that the dent is both neolithic and synchronic is not right. sent2: that if the chimneystack is not synchronic that the dent is neolithic thing that is not synchronic does not hold is true. sent3: that the chimneystack is not synchronic hold if that the tam does refrain chimneystack and it is a bull's-eye is not right. sent4: that the tam does refrain chimneystack and is a bull's-eye is incorrect. sent5: the fact that the kingdom does refrain tetrose and is not a bull's-eye is false if the tam is not a kind of a bull's-eye. sent6: if that the tam does not refrain chimneystack hold then the chimneystack is not synchronic. sent7: if the dent is not an inkblot then the kingdom is not an inkblot and/or does not refrain tetrose. sent8: if the dent is not an inkblot then the kingdom is a kind of an inkblot or does not refrain tetrose or both. sent9: the kingdom either is an inkblot or does not refrain tetrose or both. sent10: if the chimneystack is not synchronic that the dent is neolithic and not synchronic does not hold. sent11: if the dent is synchronic then it is not an inkblot. sent12: the kingdom is not antipollution if it is not an inkblot and/or it does not refrain tetrose. sent13: something is not an inkblot if it is synchronic. sent14: something is not an inkblot if the fact that it is neolithic and is not synchronic does not hold. sent15: if that the dent is not a kind of an inkblot is right then the kingdom is not a kind of an inkblot and/or refrains tetrose. sent16: the kingdom is not an inkblot and/or it refrains tetrose. ; $proof$ = 
sent3 & sent4 -> int1: that the chimneystack is synchronic does not hold.; int1 & sent10 -> int2: the fact that the dent is neolithic but it is not synchronic does not hold.; sent14 -> int3: if the fact that that the dent is neolithic but it is not synchronic is false is not incorrect it is not an inkblot.; int2 & int3 -> int4: the dent is not a kind of an inkblot.; int4 & sent7 -> int5: the kingdom is not an inkblot and/or does not refrain tetrose.; int5 & sent12 -> hypothesis; __DISPROVED__