The bald eagle is big. The cat visits the bald eagle. The dog visits the lion. The lion visits the cat. If someone is big then they chase the cat. If someone eats the cat and the cat visits the bald eagle then the cat eats the dog. If someone visits the dog and they chase the cat then the dog chases the lion.
The cat chases the dog.
@0: The bald eagle is big.[(triple1)] The cat visits the bald eagle.[(triple2)] The dog visits the lion.[(triple3)] The lion visits the cat.[(triple4)] @1: The bald eagle chases the cat.[(((triple1) -> rule1))]