The bald eagle chases the cow. The bald eagle eats the rabbit. The cow likes the lion. The lion chases the rabbit. The lion eats the bald eagle. The lion is young. The lion likes the rabbit. The rabbit chases the cow. The rabbit eats the lion. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the cow. If someone chases the rabbit and they chase the cow then they like the rabbit. If someone eats the lion and the lion likes the rabbit then the rabbit likes the cow. If someone chases the rabbit then the rabbit is young. If someone likes the rabbit and the rabbit likes the cow then they like the cow. If someone likes the rabbit and they are round then they are rough. If someone is green and they eat the bald eagle then the bald eagle is young.
The bald eagle eats the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The cow likes the lion.[(triple3)] The lion chases the rabbit.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is young.[(triple6)] The lion likes the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit is young.[(triple10 OR ((triple4) -> rule3))] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the cow.[(triple12 OR ((triple9 triple7) -> rule2))] @1: The lion likes the cow.[(((triple7 triple12) -> rule4) OR ((triple7 ((triple9 triple7) -> rule2)) -> rule4))]