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 mouse does not eat the cat.
@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))]