The cat needs the mouse. The dog needs the cat. The mouse eats the cat. If someone needs the mouse then they are cold.
The dog chases the mouse.
@0: The cat needs the mouse.[(triple1)] The dog needs the cat.[(triple2)] The mouse eats the cat.[(triple3)] @1: The cat is cold.[(((triple1) -> rule1))]