The cat likes the rabbit. The cow visits the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. If someone chases the mouse then they like the rabbit.
The cow is young.
@0: The cat likes the rabbit.[(triple1)] The cow visits the rabbit.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] @1: The rabbit likes the rabbit.[(((triple4) -> rule1))]