The dog likes the rabbit. The rabbit eats the dog. The rabbit likes the dog. If something likes the dog then it eats the dog.
The rabbit does not eat the dog.
@0: The dog likes the rabbit.[(triple1)] The rabbit eats the dog.[(triple2 OR ((triple3) -> rule1))] The rabbit likes the dog.[(triple3)]