The dog likes the lion. The lion likes the dog. If someone likes the dog then the dog is round. If someone visits the dog then they are green.
The lion does not like the dog.
@0: The dog likes the lion.[(triple1)] The lion likes the dog.[(triple2)] @1: The dog is round.[(((triple2) -> rule1))]