The bald eagle chases the dog. The bald eagle is young. The bald eagle likes the dog. The bald eagle likes the lion. The bald eagle needs the lion. The dog chases the lion. The dog is cold. The dog is green. The dog likes the lion. The dog needs the bald eagle. The lion chases the bald eagle. The lion chases the dog. The lion is cold. The lion is young. The lion likes the dog. The lion needs the dog. If something likes the dog then it likes the lion.
The lion does not like the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the lion.[(triple4 OR ((triple3) -> rule1))] The bald eagle needs the lion.[(triple5)] The dog chases the lion.[(triple6)] The dog is cold.[(triple7)] The dog is green.[(triple8)] The dog likes the lion.[(triple9)] The dog needs the bald eagle.[(triple10)] The lion chases the bald eagle.[(triple11)] The lion chases the dog.[(triple12)] The lion is cold.[(triple13)] The lion is young.[(triple14)] The lion likes the dog.[(triple15)] The lion needs the dog.[(triple16)] @1: The lion likes the lion.[(((triple15) -> rule1))]