The bear likes the mouse. The lion does not see the mouse. The mouse chases the lion. If someone likes the mouse then the mouse is young.
The lion does not like the bear.
@0: The bear likes the mouse.[(triple1)] The lion does not see the mouse.[(triple2)] The mouse chases the lion.[(triple3)] @1: The mouse is young.[(((triple1) -> rule1))]