The bald eagle eats the cat. The bald eagle visits the cat. The bald eagle does not visit the lion. The bald eagle visits the tiger. The cat visits the tiger. The lion chases the cat. The lion is nice. The tiger does not eat the cat. The tiger is cold. The tiger visits the bald eagle. If something visits the cat then it does not chase the cat. If something chases the lion and the lion chases the bald eagle then the lion does not eat the cat. If the bald eagle chases the cat and the cat eats the lion then the bald eagle visits the cat.
The bald eagle visits the tiger.
@0: The bald eagle does not visit the lion.[(triple3)] The bald eagle eats the cat.[(triple1)] The bald eagle visits the cat.[(triple2)] The bald eagle visits the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The lion chases the cat.[(triple6)] The lion is nice.[(triple7)] The tiger does not eat the cat.[(triple8)] The tiger is cold.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle does not chase the cat.[(((triple2) -> rule1))]