The bald eagle is green. The bald eagle likes the dog. The bald eagle needs the lion. The bald eagle visits the lion. The cow is kind. The cow is not red. The cow likes the dog. The cow does not visit the bald eagle. The cow visits the dog. The dog visits the bald eagle. The dog visits the cow. The dog visits the lion. The lion is red. The lion is not young. The lion needs the bald eagle. If someone needs the dog and they need the lion then the dog visits the lion. If someone is red then they need the lion. If someone visits the lion then they like the bald eagle. If someone visits the lion and the lion visits the dog then they do not need the bald eagle. If someone is red and kind then they do not visit the bald eagle. If the dog does not visit the bald eagle then the bald eagle likes the lion.
The bald eagle does not like the lion.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle visits the lion.[(triple4)] The cow does not visit the bald eagle.[(triple8)] The cow is kind.[(triple5)] The cow is not red.[(triple6)] The cow likes the dog.[(triple7)] The cow visits the dog.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the cow.[(triple11)] The dog visits the lion.[(triple12)] The lion is not young.[(triple14)] The lion is red.[(triple13)] The lion needs the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule3))] The dog likes the bald eagle.[(((triple12) -> rule3))] The lion needs the lion.[(((triple13) -> rule2))]