The dog sees the lion. The lion is big. The mouse needs the rabbit. The rabbit needs the mouse. If something sees the rabbit and the rabbit is young then the rabbit chases the lion. If something is big then it needs the mouse. If something sees the mouse then the mouse sees the dog.
The lion sees the mouse.
@0: The dog sees the lion.[(triple1)] The lion is big.[(triple2)] The mouse needs the rabbit.[(triple3)] The rabbit needs the mouse.[(triple4)] @1: The lion needs the mouse.[(((triple2) -> rule2))]