the digest roughens digest.
sent1: the digest is a rattrap. sent2: if something does not differ and does not rumble then it is a kind of a worse. sent3: if the digest is both a rattrap and a worse it does not roughen digest. sent4: everything does not differ and it is not a rumble.
sent2 -> int1: the digest is a kind of a worse if it does not differ and it is not a kind of a rumble.; sent4 -> int2: the digest does not differ and does not rumble.; int1 & int2 -> int3: the digest is a kind of a worse.; int3 & sent1 -> int4: the digest is a rattrap and it is a kind of a worse.; int4 & sent3 -> hypothesis;
$hypothesis$ = the digest roughens digest. ; $context$ = sent1: the digest is a rattrap. sent2: if something does not differ and does not rumble then it is a kind of a worse. sent3: if the digest is both a rattrap and a worse it does not roughen digest. sent4: everything does not differ and it is not a rumble. ; $proof$ = 
sent2 -> int1: the digest is a kind of a worse if it does not differ and it is not a kind of a rumble.; sent4 -> int2: the digest does not differ and does not rumble.; int1 & int2 -> int3: the digest is a kind of a worse.; int3 & sent1 -> int4: the digest is a rattrap and it is a kind of a worse.; int4 & sent3 -> hypothesis; __DISPROVED__