The bald eagle chases the lion. The bald eagle eats the cow. The bald eagle eats the lion. The bald eagle is round. The bald eagle sees the cow. The bald eagle sees the lion. The cow sees the lion. The lion chases the cow. The lion eats the cow. The lion is green. The lion is young. The lion sees the cow. If the cow is nice and the cow chases the lion then the cow eats the lion. If something sees the bald eagle and it eats the lion then the bald eagle sees the lion. If the bald eagle sees the lion and the bald eagle is green then the lion chases the bald eagle. If something eats the cow then the cow chases the bald eagle. If something is blue and round then it chases the bald eagle. If something sees the cow and the cow eats the lion then the cow chases the lion.
The lion does not eat the cow.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle sees the lion.[(triple6)] The cow sees the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion eats the cow.[(triple9)] The lion is green.[(triple10)] The lion is young.[(triple11)] The lion sees the cow.[(triple12)] @1: The cow chases the bald eagle.[(((triple2) -> rule4) OR ((triple9) -> rule4))]