The bald eagle visits the lion. The lion chases the bald eagle. The tiger chases the lion. If the lion chases the bald eagle and the bald eagle is green then the lion is cold. If the tiger likes the lion and the lion is red then the lion is blue. If something likes the tiger then it is kind. If something likes the tiger and it visits the bald eagle then the tiger visits the lion. If the bald eagle is cold and the bald eagle visits the lion then the lion visits the tiger. If something visits the lion then it likes the bald eagle. If something is blue then it visits the tiger. If something chases the tiger and it is kind then the tiger likes the bald eagle.
The bald eagle visits the lion.
@0: The bald eagle visits the lion.[(triple1)] The lion chases the bald eagle.[(triple2)] The tiger chases the lion.[(triple3)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule6))]