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