The lion chases the mouse. The lion visits the mouse. The mouse chases the lion. If the mouse chases the lion and the mouse is not round then the mouse needs the lion. If someone chases the mouse and they visit the mouse then they visit the lion. If the lion chases the mouse then the lion is red.
The mouse does not visit the lion.
@0: The lion chases the mouse.[(triple1)] The lion visits the mouse.[(triple2)] The mouse chases the lion.[(triple3)] @1: The lion is red.[(((triple1) -> rule3))] The lion visits the lion.[(((triple1 triple2) -> rule2))]