The bald eagle visits the lion. The bear chases the tiger. The lion is young. The tiger visits the bear. If something visits the lion and it likes the lion then it chases the lion. If something visits the lion then it likes the tiger. If the lion likes the bald eagle then the bald eagle is blue. If something chases the lion then the lion chases the bear. If something is blue then it visits the lion. If something likes the tiger then the tiger visits the lion.
The bear does not visit the lion.
@0: The bald eagle visits the lion.[(triple1)] The bear chases the tiger.[(triple2)] The lion is young.[(triple3)] The tiger visits the bear.[(triple4)] @1: The bald eagle likes the tiger.[(((triple1) -> rule2))] @2: The tiger visits the lion.[(((((triple1) -> rule2)) -> rule6))] @3: The tiger likes the tiger.[(((((((triple1) -> rule2)) -> rule6)) -> rule2))]