The bald eagle chases the lion. The cat visits the bald eagle. The lion chases the bald eagle. The lion eats the cat. The lion is round. The lion visits the bald eagle. The lion visits the cat. If the cat visits the lion then the lion chases the cat. If the cat visits the bald eagle and the bald eagle chases the lion then the cat eats the bald eagle.
The lion is big.
@0: The bald eagle chases the lion.[(triple1)] The cat visits the bald eagle.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the cat.[(triple4)] The lion is round.[(triple5)] The lion visits the bald eagle.[(triple6)] The lion visits the cat.[(triple7)] @1: The cat eats the bald eagle.[(((triple2 triple1) -> rule2))]