The bald eagle eats the lion. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle likes the lion. The bald eagle visits the lion. The lion eats the bald eagle. The lion is green. The lion is rough. The lion is young. The lion likes the bald eagle. The lion visits the bald eagle. If something visits the bald eagle then it is round. If something visits the lion then it eats the bald eagle. If something is kind then it likes the lion. If something is green and it visits the lion then it visits the bald eagle. If something is round and it eats the lion then it is young. If something visits the bald eagle then it likes the lion.
The lion eats the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is young.[(triple4 OR ((((((triple2 triple6) -> rule4)) -> rule1) triple1) -> rule5))] The bald eagle likes the lion.[(triple5 OR ((triple3) -> rule3) OR ((((triple2 triple6) -> rule4)) -> rule6))] The bald eagle visits the lion.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is green.[(triple8)] The lion is rough.[(triple9)] The lion is young.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion visits the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple6) -> rule2))] The bald eagle visits the bald eagle.[(((triple2 triple6) -> rule4))] The lion is round.[(((triple12) -> rule1))] The lion likes the lion.[(((triple12) -> rule6))] @2: The bald eagle is round.[(((((triple2 triple6) -> rule4)) -> rule1))]