The cat eats the lion. The lion eats the cat. The lion sees the cat. If something eats the cat then it likes the cat. If something is cold then it sees the cat.
The cat likes the cat.
@0: The cat eats the lion.[(triple1)] The lion eats the cat.[(triple2)] The lion sees the cat.[(triple3)] @1: The lion likes the cat.[(((triple2) -> rule1))]