The lion likes the mouse. The lion sees the mouse. The mouse chases the lion. If the lion is rough and the lion likes the mouse then the mouse is blue. If someone chases the lion and the lion sees the mouse then the mouse likes the lion. If someone sees the lion and they like the mouse then the lion is kind. If someone is rough and they chase the lion then they see the lion. If someone chases the mouse and the mouse sees the lion then the mouse chases the lion. If someone chases the mouse and the mouse is kind then the mouse chases the lion. If someone likes the lion and they are kind then the lion is round. If someone chases the lion and they like the mouse then the lion is blue.
The mouse does not chase the lion.
@0: The lion likes the mouse.[(triple1)] The lion sees the mouse.[(triple2)] The mouse chases the lion.[(triple3)] @1: The mouse likes the lion.[(((triple3 triple2) -> rule2))]