The cat likes the rabbit. The lion is kind. The mouse is round. The rabbit likes the mouse. If something likes the rabbit then the rabbit is kind. If something visits the mouse and the mouse visits the rabbit then the rabbit does not visit the cat.
The lion does not like the rabbit.
@0: The cat likes the rabbit.[(triple1)] The lion is kind.[(triple2)] The mouse is round.[(triple3)] The rabbit likes the mouse.[(triple4)] @1: The rabbit is kind.[(((triple1) -> rule1))]