The bald eagle chases the cow. The bald eagle chases the lion. The bald eagle eats the cow. The bald eagle is round. The bald eagle needs the cow. The bald eagle needs the lion. The cow chases the lion. The cow is big. The cow is round. The cow is young. The cow needs the lion. The lion chases the cow. The lion eats the bald eagle. The lion is red. The lion is round. The lion is young. If the bald eagle needs the lion and the lion eats the cow then the bald eagle eats the cow. If the bald eagle is round and the bald eagle is big then the bald eagle eats the lion. If someone chases the lion and the lion is round then they are young. If someone needs the bald eagle and they chase the lion then they eat the cow. If someone eats the bald eagle and the bald eagle is big then the bald eagle needs the cow. If someone is green and they chase the bald eagle then they need the bald eagle.
The cow eats the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle needs the lion.[(triple6)] The cow chases the lion.[(triple7)] The cow is big.[(triple8)] The cow is round.[(triple9)] The cow is young.[(triple10 OR ((triple7 triple15) -> rule3))] The cow needs the lion.[(triple11)] The lion chases the cow.[(triple12)] The lion eats the bald eagle.[(triple13)] The lion is red.[(triple14)] The lion is round.[(triple15)] The lion is young.[(triple16)] @1: The bald eagle is young.[(((triple2 triple15) -> rule3))]