The bald eagle eats the lion. The bald eagle is big. The bald eagle is round. The bald eagle likes the lion. The bald eagle needs the lion. The lion eats the bald eagle. The lion is big. The lion is rough. The lion likes the bald eagle. The lion needs the bald eagle. If something likes the lion and the lion is round then the lion needs the bald eagle. If something is red and it needs the bald eagle then it likes the bald eagle. If something needs the lion then it likes the lion. If something needs the lion then it is round. If something needs the lion and the lion likes the bald eagle then the bald eagle is big. If something likes the bald eagle then the bald eagle is round.
The lion eats the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is big.[(triple2 OR ((triple5 triple9) -> rule5))] The bald eagle is round.[(triple3 OR ((triple5) -> rule4) OR ((triple9) -> rule6))] The bald eagle likes the lion.[(triple4 OR ((triple5) -> rule3))] The bald eagle needs the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion is rough.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion needs the bald eagle.[(triple10)]