the dacryon does not parallel Euderma.
sent1: if the buckram is not active the dacryon is active thing that parallels Euderma. sent2: that the Oxford does resent helpfulness and/or it is not a kind of a Shylock is not correct. sent3: if the fact that that the Oxford does resent helpfulness or is not a kind of a Shylock or both is not wrong is false then the buckram is not active.
sent3 & sent2 -> int1: the buckram is not an active.; sent1 & int1 -> int2: the dacryon is an active and it does parallel Euderma.; int2 -> hypothesis;
$hypothesis$ = the dacryon does not parallel Euderma. ; $context$ = sent1: if the buckram is not active the dacryon is active thing that parallels Euderma. sent2: that the Oxford does resent helpfulness and/or it is not a kind of a Shylock is not correct. sent3: if the fact that that the Oxford does resent helpfulness or is not a kind of a Shylock or both is not wrong is false then the buckram is not active. ; $proof$ = 
sent3 & sent2 -> int1: the buckram is not an active.; sent1 & int1 -> int2: the dacryon is an active and it does parallel Euderma.; int2 -> hypothesis; __DISPROVED__