The bear visits the cat. The cat chases the bear. The mouse visits the bear. If the cat visits the mouse and the cat visits the bear then the cat chases the bear. If someone visits the cat then they chase the bear.
The bear chases the bear.
@0: The bear visits the cat.[(triple1)] The cat chases the bear.[(triple2)] The mouse visits the bear.[(triple3)] @1: The bear chases the bear.[(((triple1) -> rule2))]