The cat chases the lion. The lion chases the cat. If someone visits the cat and the cat is young then they visit the lion. If someone visits the lion then they chase the cat. If someone chases the cat then they visit the lion.
The lion does not chase the cat.
@0: The cat chases the lion.[(triple1)] The lion chases the cat.[(triple2)] @1: The lion visits the lion.[(((triple2) -> rule3))]