The bald eagle chases the lion. The bald eagle is green. The bald eagle is red. The bald eagle likes the lion. The bald eagle needs the bear. The bear likes the bald eagle. The lion chases the bear. The lion is young. The lion likes the bald eagle. The lion likes the bear. If the bear likes the bald eagle then the bear is green. If someone likes the lion then they chase the bald eagle. If someone is young and big then they like the bear. If the bear chases the bald eagle and the bald eagle is young then the bald eagle needs the bear. If someone chases the lion and they like the bear then they need the bear. If the lion chases the bald eagle then the lion chases the bear. If someone likes the bear and they like the bald eagle then the bear chases the lion. If someone likes the bald eagle then they need the bear.
The lion likes the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the bear.[(triple5)] The bear likes the bald eagle.[(triple6)] The lion chases the bear.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion likes the bear.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule2))] The bear chases the lion.[(((triple10 triple9) -> rule7))] The bear is green.[(((triple6) -> rule1))] The bear needs the bear.[(((triple6) -> rule8))] The lion needs the bear.[(((triple9) -> rule8))]