The lion sees the rabbit. The mouse is cold. The rabbit sees the lion. If someone sees the rabbit and the rabbit sees the mouse then the mouse sees the lion. If the lion sees the mouse then the mouse eats the lion. If someone sees the lion then the lion eats the rabbit. If someone eats the mouse then the mouse chases the rabbit. If someone chases the mouse and they are nice then they eat the rabbit. If someone eats the mouse then they chase the mouse.
The lion eats the rabbit.
@0: The lion sees the rabbit.[(triple1)] The mouse is cold.[(triple2)] The rabbit sees the lion.[(triple3)] @1: The lion eats the rabbit.[(((triple3) -> rule3))]