The bald eagle is red. The bald eagle needs the cow. The bald eagle does not see the cow. The cow is young. The cow likes the dog. The cow does not need the bald eagle. The cow needs the dog. The dog is kind. The dog is red. The dog is young. The dog needs the bald eagle. The dog sees the bald eagle. If someone needs the cow then they see the bald eagle. If the cow likes the dog then the cow sees the bald eagle. If someone needs the cow then the cow sees the dog.
The dog does not see the cow.
@0: The bald eagle does not see the cow.[(triple3)] The bald eagle is red.[(triple1)] The bald eagle needs the cow.[(triple2)] The cow does not need the bald eagle.[(triple6)] The cow is young.[(triple4)] The cow likes the dog.[(triple5)] The cow needs the dog.[(triple7)] The dog is kind.[(triple8)] The dog is red.[(triple9)] The dog is young.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog sees the bald eagle.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule1))] The cow sees the bald eagle.[(((triple5) -> rule2))] The cow sees the dog.[(((triple2) -> rule3))]