The lion sees the mouse. The mouse eats the lion. The mouse sees the lion. If someone sees the lion then they eat the mouse. If the mouse does not eat the lion then the lion does not eat the mouse. If someone eats the mouse and the mouse likes the lion then the mouse is red. If someone is red then they are blue. If someone eats the lion and they eat the mouse then the mouse is blue. If someone eats the mouse and they are blue then they like the mouse.
The mouse does not eat the mouse.
@0: The lion sees the mouse.[(triple1)] The mouse eats the lion.[(triple2)] The mouse sees the lion.[(triple3)] @1: The mouse eats the mouse.[(((triple3) -> rule1))] @2: The mouse is blue.[(((triple2 ((triple3) -> rule1)) -> rule5))] @3: The mouse likes the mouse.[(((((triple3) -> rule1) ((triple2 ((triple3) -> rule1)) -> rule5)) -> rule6))]