The lion chases the mouse. The mouse chases the lion. If someone chases the mouse then they eat the mouse.
The mouse does not eat the mouse.
@0: The lion chases the mouse.[(triple1)] The mouse chases the lion.[(triple2)] @1: The lion eats the mouse.[(((triple1) -> rule1))]