The lion chases the rabbit. The mouse is big. The rabbit is round. If something is red then it does not eat the lion. If something is red and it does not like the rabbit then it chases the lion. If the lion chases the rabbit then the rabbit chases the lion. If the mouse likes the rabbit then the rabbit chases the mouse. If the lion chases the mouse and the lion does not like the mouse then the mouse is kind. If the lion likes the mouse and the lion is not round then the lion is young. If something eats the mouse and the mouse eats the rabbit then the mouse is not young. If something likes the lion and it does not chase the mouse then it eats the mouse.
The lion does not chase the lion.
@0: The lion chases the rabbit.[(triple1)] The mouse is big.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit chases the lion.[(((triple1) -> rule3))]