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