The bald eagle chases the lion. The bald eagle is blue. The bald eagle is kind. The bald eagle is young. The bald eagle does not visit the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is blue. The lion is kind. The lion visits the bald eagle. If the lion eats the bald eagle then the bald eagle eats the lion. If someone visits the lion then the lion visits the bald eagle. If the lion chases the bald eagle and the lion is young then the lion eats the bald eagle.
The bald eagle is not kind.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not visit the lion.[(triple5)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is young.[(triple4)] The lion chases the bald eagle.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is blue.[(triple8)] The lion is kind.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bald eagle eats the lion.[(((triple7) -> rule1))]