The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is nice. The bald eagle needs the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is big. The lion is kind. The lion is nice. The lion needs the bald eagle. If someone eats the bald eagle then the bald eagle needs the lion.
The lion chases the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the lion.[(triple4 OR ((triple6) -> rule1))] The lion chases the bald eagle.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is kind.[(triple8)] The lion is nice.[(triple9)] The lion needs the bald eagle.[(triple10)]