that there exists something such that it is datable and it is not a Kathmandu is not true.
sent1: if the hemoglobin is a polymerization then it is not a Setubal. sent2: the telephotograph is Edwardian if there exists something such that it is a polymerization. sent3: the fact that the alienee is not a Oceanid and it is not a polymerization is incorrect. sent4: the woodhewer is datable if the telephotograph is a Edwardian. sent5: the fact that the woodhewer is not Edwardian is not wrong. sent6: something is datable and it is a Kathmandu. sent7: if there exists something such that the fact that it is both not a Oceanid and not a polymerization is not correct the telephotograph is Edwardian. sent8: the fact that the alienee is both not a Oceanid and not eugenic is false. sent9: something is not eugenic if the fact that it is not non-Edwardian but eugenic is false. sent10: the fact that the alienee is not a Oceanid but it is a kind of a polymerization is false. sent11: the woodhewer is a merlin if the hemoglobin is a kind of non-scenic thing that is not a kind of a Setubal. sent12: everything is not scenic and it is not a Setubal. sent13: the hemoglobin is inexcusable and non-canine. sent14: the alienee discharges. sent15: the alienee is a Oceanid or a Kathmandu or both. sent16: the fact that something is a kind of a Edwardian that is eugenic is incorrect if it is not a Kathmandu. sent17: if the woodhewer is a merlin and/or eugenic it is not a Kathmandu. sent18: the hemoglobin is datable if there is something such that that it is both a merlin and not datable is not correct. sent19: there is something such that that it is datable is right.
sent12 -> int1: the hemoglobin is not scenic and it is not a kind of a Setubal.; int1 & sent11 -> int2: the woodhewer is a kind of a merlin.; int2 -> int3: the woodhewer is a merlin and/or it is eugenic.; int3 & sent17 -> int4: the woodhewer is not a Kathmandu.; sent3 -> int5: there is something such that that it is not a Oceanid and it is not a polymerization is not right.; int5 & sent7 -> int6: the telephotograph is a Edwardian.; sent4 & int6 -> int7: the woodhewer is datable.; int4 & int7 -> int8: the woodhewer is datable and is not a kind of a Kathmandu.; int8 -> hypothesis;
the hemoglobin is datable.
sent16 -> int9: the fact that the telephotograph is a Edwardian and eugenic is wrong if it is not a Kathmandu.; sent9 -> int10: if that the woodhewer is Edwardian and it is eugenic is not correct then it is not eugenic.;
$hypothesis$ = that there exists something such that it is datable and it is not a Kathmandu is not true. ; $context$ = sent1: if the hemoglobin is a polymerization then it is not a Setubal. sent2: the telephotograph is Edwardian if there exists something such that it is a polymerization. sent3: the fact that the alienee is not a Oceanid and it is not a polymerization is incorrect. sent4: the woodhewer is datable if the telephotograph is a Edwardian. sent5: the fact that the woodhewer is not Edwardian is not wrong. sent6: something is datable and it is a Kathmandu. sent7: if there exists something such that the fact that it is both not a Oceanid and not a polymerization is not correct the telephotograph is Edwardian. sent8: the fact that the alienee is both not a Oceanid and not eugenic is false. sent9: something is not eugenic if the fact that it is not non-Edwardian but eugenic is false. sent10: the fact that the alienee is not a Oceanid but it is a kind of a polymerization is false. sent11: the woodhewer is a merlin if the hemoglobin is a kind of non-scenic thing that is not a kind of a Setubal. sent12: everything is not scenic and it is not a Setubal. sent13: the hemoglobin is inexcusable and non-canine. sent14: the alienee discharges. sent15: the alienee is a Oceanid or a Kathmandu or both. sent16: the fact that something is a kind of a Edwardian that is eugenic is incorrect if it is not a Kathmandu. sent17: if the woodhewer is a merlin and/or eugenic it is not a Kathmandu. sent18: the hemoglobin is datable if there is something such that that it is both a merlin and not datable is not correct. sent19: there is something such that that it is datable is right. ; $proof$ = 
sent12 -> int1: the hemoglobin is not scenic and it is not a kind of a Setubal.; int1 & sent11 -> int2: the woodhewer is a kind of a merlin.; int2 -> int3: the woodhewer is a merlin and/or it is eugenic.; int3 & sent17 -> int4: the woodhewer is not a Kathmandu.; sent3 -> int5: there is something such that that it is not a Oceanid and it is not a polymerization is not right.; int5 & sent7 -> int6: the telephotograph is a Edwardian.; sent4 & int6 -> int7: the woodhewer is datable.; int4 & int7 -> int8: the woodhewer is datable and is not a kind of a Kathmandu.; int8 -> hypothesis; __DISPROVED__