The bald eagle visits the cat. The bear visits the bald eagle. The cat likes the bald eagle. The squirrel visits the bear. If something visits the bear then it sees the bear. If something visits the bald eagle and the bald eagle visits the cat then the cat visits the bear. If something sees the bear then it sees the bald eagle.
The cat sees the bear.
@0: The bald eagle visits the cat.[(triple1)] The bear visits the bald eagle.[(triple2)] The cat likes the bald eagle.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The cat visits the bear.[(((triple2 triple1) -> rule2))] The squirrel sees the bear.[(((triple4) -> rule1))] @2: The cat sees the bear.[(((((triple2 triple1) -> rule2)) -> rule1))] The squirrel sees the bald eagle.[(((((triple4) -> rule1)) -> rule3))] @3: The cat sees the bald eagle.[(((((((triple2 triple1) -> rule2)) -> rule1)) -> rule3))]