The dog does not like the tiger. The dog visits the tiger. The tiger sees the dog. If someone sees the dog then the dog sees the tiger.
The tiger sees the dog.
@0: The dog does not like the tiger.[(triple1)] The dog visits the tiger.[(triple2)] The tiger sees the dog.[(triple3)] @1: The dog sees the tiger.[(((triple3) -> rule1))]