The dog needs the lion. The lion sees the dog. The mouse sees the dog. The tiger needs the mouse. If something needs the mouse then the mouse is red. Red things are big.
The lion is not big.
@0: The dog needs the lion.[(triple1)] The lion sees the dog.[(triple2)] The mouse sees the dog.[(triple3)] The tiger needs the mouse.[(triple4)] @1: The mouse is red.[(((triple4) -> rule1))] @2: The mouse is big.[(((((triple4) -> rule1)) -> rule2))]