The bald eagle eats the cow. The cow is red. The lion likes the bald eagle. If someone is green and rough then they chase the cow. If someone eats the cow then they chase the cow. If someone is green and round then they chase the lion. If someone eats the cow and they like the bald eagle then the bald eagle does not like the lion. If someone chases the cow then they like the lion. If someone eats the cow and the cow chases the bald eagle then the cow likes the lion. If someone likes the lion then the lion eats the bald eagle. If someone eats the cow and they do not like the lion then the lion does not eat the bald eagle.
The lion does not eat the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The cow is red.[(triple2)] The lion likes the bald eagle.[(triple3)] @1: The bald eagle chases the cow.[(((triple1) -> rule2))] @2: The bald eagle likes the lion.[(((((triple1) -> rule2)) -> rule5))] @3: The lion eats the bald eagle.[(((((((triple1) -> rule2)) -> rule5)) -> rule7))]