The bald eagle likes the lion. The lion chases the bald eagle. The lion is green. If the bald eagle is young and the bald eagle needs the lion then the lion needs the bald eagle. If something is round then it needs the lion. If something likes the lion then it likes the bald eagle. If the bald eagle needs the lion then the lion is blue. If something needs the lion then the lion is blue. If something likes the bald eagle then it chases the bald eagle.
The lion is green.
@0: The bald eagle likes the lion.[(triple1)] The lion chases the bald eagle.[(triple2)] The lion is green.[(triple3)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle chases the bald eagle.[(((((triple1) -> rule3)) -> rule6))]