The cat is kind. The lion does not chase the cat. The rabbit is kind. If something visits the cat and it chases the cat then it sees the rabbit. If the lion does not chase the cat then the cat chases the rabbit.
The lion does not see the rabbit.
@0: The cat is kind.[(triple1)] The lion does not chase the cat.[(triple2)] The rabbit is kind.[(triple3)] @1: The cat chases the rabbit.[(((triple2) -> rule2))]