The bald eagle chases the cow. The cow chases the lion. The cow eats the bald eagle. The cow eats the dog. The cow is big. The cow is kind. The cow likes the bald eagle. The cow likes the lion. The dog chases the bald eagle. The lion chases the cow. The lion does not eat the dog. The lion likes the dog. If someone chases the bald eagle then the bald eagle eats the dog. If someone chases the cow and they eat the dog then the dog eats the bald eagle.
The dog does not eat the lion.
@0: The bald eagle chases the cow.[(triple1)] The cow chases the lion.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow eats the dog.[(triple4)] The cow is big.[(triple5)] The cow is kind.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the lion.[(triple8)] The dog chases the bald eagle.[(triple9)] The lion chases the cow.[(triple10)] The lion does not eat the dog.[(triple11)] The lion likes the dog.[(triple12)] @1: The bald eagle eats the dog.[(((triple9) -> rule1))] @2: The dog eats the bald eagle.[(((triple1 ((triple9) -> rule1)) -> rule2))]