The bald eagle likes the dog. The cow is rough. The cow likes the dog. The cow needs the bald eagle. The cow does not see the dog. The dog is green. The dog does not need the bald eagle. The dog sees the cow. The tiger is rough. The tiger sees the dog. If something sees the cow and it is not green then the cow is rough. If something likes the dog then the dog likes the cow. If something needs the cow and the cow sees the dog then the cow needs the tiger. If something sees the bald eagle and it sees the cow then the cow sees the bald eagle. If the bald eagle likes the cow and the bald eagle sees the cow then the bald eagle needs the tiger. If the bald eagle likes the cow then the cow does not like the dog. If something likes the tiger then the tiger does not need the cow. If something is rough and it does not like the dog then it does not like the bald eagle.
The bald eagle does not need the tiger.
@0: The bald eagle likes the dog.[(triple1)] The cow does not see the dog.[(triple5)] The cow is rough.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the bald eagle.[(triple4)] The dog does not need the bald eagle.[(triple7)] The dog is green.[(triple6)] The dog sees the cow.[(triple8)] The tiger is rough.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog likes the cow.[(((triple1) -> rule2) OR ((triple3) -> rule2))]