The cat chases the rabbit. The lion likes the rabbit. The rabbit chases the lion. If the rabbit chases the lion then the lion likes the cat.
The cat chases the rabbit.
@0: The cat chases the rabbit.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit chases the lion.[(triple3)] @1: The lion likes the cat.[(((triple3) -> rule1))]