The cow is nice. The dog is rough. The lion likes the dog. The rabbit likes the lion. If something is rough then it likes the lion.
The dog does not like the lion.
@0: The cow is nice.[(triple1)] The dog is rough.[(triple2)] The lion likes the dog.[(triple3)] The rabbit likes the lion.[(triple4)] @1: The dog likes the lion.[(((triple2) -> rule1))]