The cat likes the lion. The lion is rough. The squirrel visits the lion. If something is kind and it likes the cat then it likes the lion. If something likes the lion then the lion likes the squirrel. If something is round then it needs the squirrel.
The cat does not need the lion.
@0: The cat likes the lion.[(triple1)] The lion is rough.[(triple2)] The squirrel visits the lion.[(triple3)] @1: The lion likes the squirrel.[(((triple1) -> rule2))]