The cat is young. The cow eats the mouse. The mouse chases the cow. If something chases the cow then it chases the mouse. If something eats the cow and it needs the cat then it is kind.
The mouse is cold.
@0: The cat is young.[(triple1)] The cow eats the mouse.[(triple2)] The mouse chases the cow.[(triple3)] @1: The mouse chases the mouse.[(((triple3) -> rule1))]