The lion likes the rabbit. The rabbit sees the lion. If something sees the lion then the lion does not visit the rabbit.
The lion does not like the rabbit.
@0: The lion likes the rabbit.[(triple1)] The rabbit sees the lion.[(triple2)] @1: The lion does not visit the rabbit.[(((triple2) -> rule1))]