The bald eagle eats the lion. The bald eagle is kind. The bald eagle is round. The bald eagle likes the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is big. The lion is not kind. The lion is round. The lion is young. The lion likes the bald eagle. The lion sees the bald eagle. If the lion is kind and the lion does not eat the bald eagle then the bald eagle is young. If the bald eagle sees the lion then the bald eagle likes the lion. If something eats the lion and the lion does not eat the bald eagle then the bald eagle is red. If the bald eagle does not eat the lion then the bald eagle sees the lion. If something is round and young then it sees the bald eagle. If something eats the bald eagle then it is young.
The lion sees the bald eagle.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the lion.[(triple4 OR ((triple5) -> rule2))] The bald eagle sees the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is not kind.[(triple8)] The lion is round.[(triple9)] The lion is young.[(triple10 OR ((triple6) -> rule6))] The lion likes the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12 OR ((triple9 triple10) -> rule5) OR ((triple9 ((triple6) -> rule6)) -> rule5))]