The bald eagle eats the lion. The cow eats the dog. The dog is nice. The lion sees the bald eagle. If someone sees the bald eagle and they are young then the bald eagle visits the cow. If the cow eats the bald eagle and the bald eagle visits the lion then the bald eagle is nice. If someone sees the cow and they visit the cow then they visit the lion. If someone is nice then they see the bald eagle. If the cow is blue and the cow is nice then the cow visits the lion. If someone sees the dog then the dog sees the bald eagle. If someone visits the cow then the cow visits the lion. If someone sees the cow then they visit the dog.
The dog does not visit the lion.
@0: The bald eagle eats the lion.[(triple1)] The cow eats the dog.[(triple2)] The dog is nice.[(triple3)] The lion sees the bald eagle.[(triple4)] @1: The dog sees the bald eagle.[(((triple3) -> rule4))]