The bald eagle chases the cow. The bald eagle does not eat the cow. The bald eagle sees the bear. The bear chases the cow. The bear eats the cow. The bear eats the dog. The cow eats the dog. The cow is blue. The cow sees the bald eagle. The dog does not eat the bald eagle. The dog is green. The dog is not kind. If someone eats the dog then the dog is young. If the dog is big then the dog chases the bald eagle. If someone is green then they do not chase the bald eagle.
The cow sees the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not eat the cow.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear chases the cow.[(triple4)] The bear eats the cow.[(triple5)] The bear eats the dog.[(triple6)] The cow eats the dog.[(triple7)] The cow is blue.[(triple8)] The cow sees the bald eagle.[(triple9)] The dog does not eat the bald eagle.[(triple10)] The dog is green.[(triple11)] The dog is not kind.[(triple12)] @1: The dog does not chase the bald eagle.[(((triple11) -> rule3))] The dog is young.[(((triple6) -> rule1) OR ((triple7) -> rule1))]