The bear chases the lion. The lion is young. The mouse visits the lion. If something chases the lion then it visits the lion. If the mouse visits the lion then the mouse sees the bear. If something chases the mouse and the mouse sees the bear then it sees the bear.
The mouse is rough.
@0: The bear chases the lion.[(triple1)] The lion is young.[(triple2)] The mouse visits the lion.[(triple3)] @1: The bear visits the lion.[(((triple1) -> rule1))] The mouse sees the bear.[(((triple3) -> rule2))]