The lion needs the mouse. The mouse sees the lion. If someone is kind then they see the lion. If someone sees the lion then they are green. If someone is kind then they visit the lion. If someone needs the lion and the lion visits the mouse then they see the mouse. If the lion is blue then the lion needs the mouse. If the mouse is rough and the mouse needs the lion then the lion visits the mouse. If someone sees the mouse then the mouse is rough. If someone needs the lion and the lion needs the mouse then the lion is green.
The mouse is kind.
@0: The lion needs the mouse.[(triple1)] The mouse sees the lion.[(triple2)] @1: The mouse is green.[(((triple2) -> rule2))]