The bear sees the tiger. The tiger sees the bear. If something chases the bear then it eats the bear. If something eats the bear and it sees the tiger then it is young. If something sees the tiger then it chases the tiger.
The bear is not young.
@0: The bear sees the tiger.[(triple1)] The tiger sees the bear.[(triple2)] @1: The bear chases the tiger.[(((triple1) -> rule3))]