The dog likes the mouse. The lion likes the mouse. The mouse is big. If the lion likes the dog and the lion chases the dog then the lion is kind. If someone is big and they chase the mouse then the mouse is kind. If the dog chases the lion then the lion chases the dog. If someone likes the lion then the lion is red. If someone chases the mouse and the mouse needs the lion then the lion needs the mouse. If someone is big then they chase the mouse.
The dog does not chase the mouse.
@0: The dog likes the mouse.[(triple1)] The lion likes the mouse.[(triple2)] The mouse is big.[(triple3)] @1: The mouse chases the mouse.[(((triple3) -> rule6))] @2: The mouse is kind.[(((triple3 ((triple3) -> rule6)) -> rule2))]