The bald eagle chases the lion. The bald eagle is cold. The bald eagle is nice. The bald eagle is young. The bald eagle likes the dog. The bald eagle visits the dog. The dog chases the lion. The dog is not red. The dog is young. The dog likes the bald eagle. The dog likes the lion. The dog does not visit the bald eagle. The dog visits the lion. The lion is young. The lion visits the bald eagle. If someone visits the bald eagle then they chase the bald eagle.
The dog is green.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle visits the dog.[(triple6)] The dog chases the lion.[(triple7)] The dog does not visit the bald eagle.[(triple12)] The dog is not red.[(triple8)] The dog is young.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog likes the lion.[(triple11)] The dog visits the lion.[(triple13)] The lion is young.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The lion chases the bald eagle.[(((triple15) -> rule1))]