the perennation is a forging.
sent1: the fact that the retinol is a kind of totalitarian thing that is not a neurotoxin is incorrect. sent2: if there is something such that that it is totalitarian and it is not a kind of a neurotoxin is not right then the phenol is a lapidary. sent3: the perennation is not a forging if that the phenol is a crater or it is a kind of a lapidary or both hold. sent4: that something is seedy but it does not strangulate tackler is false if it is not lapidary.
sent1 -> int1: there exists something such that that it is a kind of a totalitarian and it is not a neurotoxin is incorrect.; int1 & sent2 -> int2: the phenol is lapidary.; int2 -> int3: the phenol is a crater and/or is a kind of a lapidary.; sent3 & int3 -> hypothesis;
there exists something such that that it is seedy and it does not strangulate tackler is wrong.
sent4 -> int4: the fact that the perennation is seedy but it does not strangulate tackler is not correct if it is not a kind of a lapidary.;
$hypothesis$ = the perennation is a forging. ; $context$ = sent1: the fact that the retinol is a kind of totalitarian thing that is not a neurotoxin is incorrect. sent2: if there is something such that that it is totalitarian and it is not a kind of a neurotoxin is not right then the phenol is a lapidary. sent3: the perennation is not a forging if that the phenol is a crater or it is a kind of a lapidary or both hold. sent4: that something is seedy but it does not strangulate tackler is false if it is not lapidary. ; $proof$ = 
sent1 -> int1: there exists something such that that it is a kind of a totalitarian and it is not a neurotoxin is incorrect.; int1 & sent2 -> int2: the phenol is lapidary.; int2 -> int3: the phenol is a crater and/or is a kind of a lapidary.; sent3 & int3 -> hypothesis; __DISPROVED__