The bald eagle eats the lion. The bald eagle is round. The bald eagle is young. The bald eagle needs the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is cold. The lion is young. The lion needs the bald eagle. The lion sees the bald eagle. If something sees the bald eagle then the bald eagle eats the lion. If the bald eagle is red and the bald eagle needs the lion then the bald eagle is round. If the lion eats the bald eagle then the bald eagle needs the lion. Kind things are round. If something needs the lion and it is kind then the lion sees the bald eagle. If something sees the lion and it eats the bald eagle then it sees the bald eagle.
The lion sees the lion.
@0: The bald eagle eats the lion.[(triple1 OR ((triple10) -> rule1))] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the lion.[(triple4 OR ((triple6) -> rule3))] The bald eagle sees the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is cold.[(triple7)] The lion is young.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion sees the bald eagle.[(triple10)]