The bald eagle chases the lion. The bald eagle eats the dog. The bald eagle is blue. The bear does not chase the dog. The bear is red. The dog is blue. The dog is young. The lion eats the bear. The lion needs the bald eagle. The lion needs the dog. If someone needs the bald eagle then they chase the dog. If someone needs the bear and the bear chases the lion then the lion needs the bear. If someone is red and they need the bear then they need the bald eagle.
The dog does not chase the dog.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is blue.[(triple3)] The bear does not chase the dog.[(triple4)] The bear is red.[(triple5)] The dog is blue.[(triple6)] The dog is young.[(triple7)] The lion eats the bear.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion needs the dog.[(triple10)] @1: The lion chases the dog.[(((triple9) -> rule1))]