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 mouse is green.
@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))]