The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle is young. The cat does not chase the bald eagle. The cat chases the lion. The cat eats the bald eagle. The cat does not eat the cow. The cat is blue. The cow does not chase the cat. The lion chases the cat. The lion eats the bald eagle. The lion does not eat the cow. The lion is green. The lion likes the cat. The lion likes the cow. If someone eats the bald eagle and they like the lion then the bald eagle eats the cow. If the lion eats the cat and the lion is red then the lion does not like the cow. If the cow likes the lion then the lion likes the cow. If someone chases the cat then the cat does not eat the lion. If someone eats the cat then the cat does not eat the lion. If someone chases the bald eagle then they are not green. If someone likes the cow then they are green. If someone is young then they eat the bald eagle.
The cow does not eat the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle is young.[(triple3)] The cat chases the lion.[(triple5)] The cat does not chase the bald eagle.[(triple4)] The cat does not eat the cow.[(triple7)] The cat eats the bald eagle.[(triple6)] The cat is blue.[(triple8)] The cow does not chase the cat.[(triple9)] The lion chases the cat.[(triple10)] The lion does not eat the cow.[(triple12)] The lion eats the bald eagle.[(triple11)] The lion is green.[(triple13 OR ((triple15) -> rule7))] The lion likes the cat.[(triple14)] The lion likes the cow.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule8))] The cat does not eat the lion.[(((triple1) -> rule4) OR ((triple10) -> rule4))]