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 dog chases the rabbit.
@0: The dog likes the rabbit.[(triple1)] The rabbit eats the dog.[(triple2 OR ((triple3) -> rule1))] The rabbit likes the dog.[(triple3)]