The lion is kind. The mouse chases the lion. The squirrel chases the lion. If the lion chases the squirrel and the squirrel eats the mouse then the mouse eats the lion. If something likes the squirrel then it chases the mouse. If something is kind and it chases the mouse then it eats the mouse. If something is blue and it likes the lion then the lion eats the mouse. If something likes the lion and the lion is blue then the lion is red. If the squirrel chases the lion then the lion likes the squirrel.
The lion chases the mouse.
@0: The lion is kind.[(triple1)] The mouse chases the lion.[(triple2)] The squirrel chases the lion.[(triple3)] @1: The lion likes the squirrel.[(((triple3) -> rule6))] @2: The lion chases the mouse.[(((((triple3) -> rule6)) -> rule2))] @3: The lion eats the mouse.[(((triple1 ((((triple3) -> rule6)) -> rule2)) -> rule3))]