that the Norman is not intermolecular is not true.
sent1: there exists something such that that it does transfigure and it is not a kind of a Peripatidae is false. sent2: the Norman is intermolecular if there exists something such that it transfigures. sent3: the Norman does not transfigure if that it is not indiscernible and it is not intermolecular is wrong. sent4: if that the antidiuretic is not a Arctium and it is non-experimental is wrong it is not indiscernible. sent5: that the antidiuretic is not indiscernible is correct if it is experimental. sent6: something is not a kind of a Arctium if that it is experimental hold. sent7: if there exists something such that the fact that it does not transfigure and is not a Peripatidae is false the Norman is intermolecular. sent8: if the fact that the antidiuretic is not indiscernible is not wrong the fact that it transfigures and is not a Peripatidae does not hold. sent9: there exists something such that it does not transfigure and it is not a Peripatidae. sent10: the fact that the Norman does not transfigure is not wrong. sent11: that something transfigures and is not a Peripatidae is not correct if it is not indiscernible. sent12: if the perphenazine is not a Arctium the Norman is not intermolecular and it is not indiscernible. sent13: that something does not transfigure and is not a Peripatidae does not hold if it is not indiscernible. sent14: the fact that the antidiuretic transfigures but it is not a Peripatidae is not right. sent15: the fact that the antidiuretic is not a kind of a Arctium and is not experimental is wrong. sent16: there is something such that the fact that it does not transfigure and is a Peripatidae does not hold. sent17: the fact that the antidiuretic is both not a Arctium and experimental is not true.
sent13 -> int1: the fact that the antidiuretic does not transfigure and it is not a Peripatidae is wrong if it is not indiscernible.; sent4 & sent15 -> int2: the fact that the antidiuretic is not indiscernible is right.; int1 & int2 -> int3: the fact that the antidiuretic does not transfigure and is not a Peripatidae is not correct.; int3 -> int4: there is something such that the fact that the fact that it does not transfigure and it is not a kind of a Peripatidae is correct is false.; int4 & sent7 -> hypothesis;
the Norman is not intermolecular.
sent6 -> int5: if the perphenazine is experimental it is not a Arctium.;
$hypothesis$ = that the Norman is not intermolecular is not true. ; $context$ = sent1: there exists something such that that it does transfigure and it is not a kind of a Peripatidae is false. sent2: the Norman is intermolecular if there exists something such that it transfigures. sent3: the Norman does not transfigure if that it is not indiscernible and it is not intermolecular is wrong. sent4: if that the antidiuretic is not a Arctium and it is non-experimental is wrong it is not indiscernible. sent5: that the antidiuretic is not indiscernible is correct if it is experimental. sent6: something is not a kind of a Arctium if that it is experimental hold. sent7: if there exists something such that the fact that it does not transfigure and is not a Peripatidae is false the Norman is intermolecular. sent8: if the fact that the antidiuretic is not indiscernible is not wrong the fact that it transfigures and is not a Peripatidae does not hold. sent9: there exists something such that it does not transfigure and it is not a Peripatidae. sent10: the fact that the Norman does not transfigure is not wrong. sent11: that something transfigures and is not a Peripatidae is not correct if it is not indiscernible. sent12: if the perphenazine is not a Arctium the Norman is not intermolecular and it is not indiscernible. sent13: that something does not transfigure and is not a Peripatidae does not hold if it is not indiscernible. sent14: the fact that the antidiuretic transfigures but it is not a Peripatidae is not right. sent15: the fact that the antidiuretic is not a kind of a Arctium and is not experimental is wrong. sent16: there is something such that the fact that it does not transfigure and is a Peripatidae does not hold. sent17: the fact that the antidiuretic is both not a Arctium and experimental is not true. ; $proof$ = 
sent13 -> int1: the fact that the antidiuretic does not transfigure and it is not a Peripatidae is wrong if it is not indiscernible.; sent4 & sent15 -> int2: the fact that the antidiuretic is not indiscernible is right.; int1 & int2 -> int3: the fact that the antidiuretic does not transfigure and is not a Peripatidae is not correct.; int3 -> int4: there is something such that the fact that the fact that it does not transfigure and it is not a kind of a Peripatidae is correct is false.; int4 & sent7 -> hypothesis; __PROVED__