The bald eagle chases the lion. The bald eagle is round. The bald eagle likes the lion. The bald eagle needs the lion. The lion does not chase the bald eagle. The lion is young. The lion needs the bald eagle. If the lion likes the bald eagle then the bald eagle is cold. If the lion needs the bald eagle and the lion is not young then the bald eagle is cold. If the lion does not need the bald eagle then the lion does not like the bald eagle. If something chases the bald eagle and the bald eagle does not chase the lion then the lion is not nice. If something is green then it chases the bald eagle. If something needs the bald eagle and the bald eagle does not chase the lion then it needs the lion. If the bald eagle chases the lion then the bald eagle needs the lion. If something needs the lion and the lion does not like the bald eagle then the bald eagle needs the lion.
The lion chases the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4 OR ((triple1) -> rule7))] The lion does not chase the bald eagle.[(triple5)] The lion is young.[(triple6)] The lion needs the bald eagle.[(triple7)]