The bald eagle chases the cow. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The cow chases the bald eagle. The cow is kind. The cow is round. The cow is young. The cow needs the bald eagle. If something chases the bald eagle then the bald eagle needs the cow. If the bald eagle chases the cow then the cow is kind.
The bald eagle is young.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the cow.[(triple6 OR ((triple8) -> rule1))] The bald eagle sees the cow.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is kind.[(triple9 OR ((triple1) -> rule2))] The cow is round.[(triple10)] The cow is young.[(triple11)] The cow needs the bald eagle.[(triple12)]