the actinolite is not a sphagnum but it binds liked.
sent1: something is not a clam if that it does pique actinolite and is not a tontine is not correct. sent2: there exists nothing such that it piques actinolite and it is not a tontine. sent3: the fact that if that something piques actinolite but it does not bind liked is not true then it is not a tontine hold. sent4: the actinolite is not a kind of a sphagnum and binds liked if it does not clam.
sent2 -> int1: that the actinolite piques actinolite and is not a kind of a tontine does not hold.; sent1 -> int2: if that the actinolite piques actinolite and is not a tontine is incorrect it does not clam.; int1 & int2 -> int3: the actinolite is not a clam.; int3 & sent4 -> hypothesis;
$hypothesis$ = the actinolite is not a sphagnum but it binds liked. ; $context$ = sent1: something is not a clam if that it does pique actinolite and is not a tontine is not correct. sent2: there exists nothing such that it piques actinolite and it is not a tontine. sent3: the fact that if that something piques actinolite but it does not bind liked is not true then it is not a tontine hold. sent4: the actinolite is not a kind of a sphagnum and binds liked if it does not clam. ; $proof$ = 
sent2 -> int1: that the actinolite piques actinolite and is not a kind of a tontine does not hold.; sent1 -> int2: if that the actinolite piques actinolite and is not a tontine is incorrect it does not clam.; int1 & int2 -> int3: the actinolite is not a clam.; int3 & sent4 -> hypothesis; __PROVED__