the fact that the thallus is a Frankenstein and is not inshore does not hold.
sent1: the fact that the thallus is a kind of a Frankenstein that is not inshore is false if there is something such that it is a Lanthanotidae. sent2: the fact that the anklebone is hairy is true. sent3: if something is a kind of a fluorite that is a Lanthanotidae it is not hairy. sent4: the fact that the anklebone is non-hairy and it is not a Lanthanotidae does not hold if the drain is not a Frankenstein. sent5: that the thallus is a Frankenstein and is inshore is not correct. sent6: the fact that the drain is leprous is not wrong. sent7: if the fact that the anklebone is hairy is not false the drain is a Lanthanotidae. sent8: that the anklebone is a kind of a fluorite hold if the drain is leprous.
sent7 & sent2 -> int1: that the drain is a kind of a Lanthanotidae is true.; int1 -> int2: there exists something such that it is a Lanthanotidae.; int2 & sent1 -> hypothesis;
the thallus is both a Frankenstein and not inshore.
sent3 -> int3: if the anklebone is a fluorite and it is a Lanthanotidae it is not hairy.; sent8 & sent6 -> int4: the anklebone is a fluorite.;
$hypothesis$ = the fact that the thallus is a Frankenstein and is not inshore does not hold. ; $context$ = sent1: the fact that the thallus is a kind of a Frankenstein that is not inshore is false if there is something such that it is a Lanthanotidae. sent2: the fact that the anklebone is hairy is true. sent3: if something is a kind of a fluorite that is a Lanthanotidae it is not hairy. sent4: the fact that the anklebone is non-hairy and it is not a Lanthanotidae does not hold if the drain is not a Frankenstein. sent5: that the thallus is a Frankenstein and is inshore is not correct. sent6: the fact that the drain is leprous is not wrong. sent7: if the fact that the anklebone is hairy is not false the drain is a Lanthanotidae. sent8: that the anklebone is a kind of a fluorite hold if the drain is leprous. ; $proof$ = 
sent7 & sent2 -> int1: that the drain is a kind of a Lanthanotidae is true.; int1 -> int2: there exists something such that it is a Lanthanotidae.; int2 & sent1 -> hypothesis; __PROVED__