The bald eagle chases the cow. The bald eagle does not like the cow. The cow chases the lion. The cow likes the bald eagle. The cow does not see the lion. The lion likes the cow. The lion sees the cow. If something chases the cow then it does not see the lion.
The cow sees the lion.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not like the cow.[(triple2)] The cow chases the lion.[(triple3)] The cow does not see the lion.[(triple5)] The cow likes the bald eagle.[(triple4)] The lion likes the cow.[(triple6)] The lion sees the cow.[(triple7)] @1: The bald eagle does not see the lion.[(((triple1) -> rule1))]