The bald eagle chases the lion. The cat is rough. The lion is cold. If the lion is not young then the lion chases the bald eagle. If something chases the cat then it chases the lion. If the bald eagle needs the lion and the bald eagle is not rough then the lion does not see the cat. If something is round then it sees the bald eagle. If the cat chases the lion and the cat is not green then the lion is rough. If something sees the cat then the cat does not see the bald eagle. If something needs the cat then it chases the cat. If something is cold then it needs the cat.
The lion does not chase the lion.
@0: The bald eagle chases the lion.[(triple1)] The cat is rough.[(triple2)] The lion is cold.[(triple3)] @1: The lion needs the cat.[(((triple3) -> rule8))] @2: The lion chases the cat.[(((((triple3) -> rule8)) -> rule7))] @3: The lion chases the lion.[(((((((triple3) -> rule8)) -> rule7)) -> rule2))]