The cat is kind. The lion chases the mouse. The mouse likes the lion. If something visits the lion then it is green. All young things are kind. If the mouse likes the cat then the mouse likes the lion. If something likes the cat then the cat chases the lion. If something likes the lion then it visits the mouse. If the mouse visits the cat and the mouse is young then the mouse chases the cat.
The lion is kind.
@0: The cat is kind.[(triple1)] The lion chases the mouse.[(triple2)] The mouse likes the lion.[(triple3)] @1: The mouse visits the mouse.[(((triple3) -> rule5))]