The bald eagle chases the lion. The bear does not chase the lion. The bear is kind. The bear likes the lion. The bear does not see the bald eagle. The lion chases the bald eagle. The lion chases the bear. The lion is green. The lion is kind. The lion sees the bear. If someone is nice then they like the bear. If someone chases the lion then the lion is round. If the bear is round then the bear does not see the lion.
The lion is kind.
@0: The bald eagle chases the lion.[(triple1)] The bear does not chase the lion.[(triple2)] The bear does not see the bald eagle.[(triple5)] The bear is kind.[(triple3)] The bear likes the lion.[(triple4)] The lion chases the bald eagle.[(triple6)] The lion chases the bear.[(triple7)] The lion is green.[(triple8)] The lion is kind.[(triple9)] The lion sees the bear.[(triple10)] @1: The lion is round.[(((triple1) -> rule2))]