The cat sees the dog. The cat visits the dog. The dog visits the cat. If the cat sees the dog then the cat likes the dog. If something likes the cat then it visits the dog. If something sees the cat and it likes the cat then the cat likes the dog.
The dog does not visit the cat.
@0: The cat sees the dog.[(triple1)] The cat visits the dog.[(triple2)] The dog visits the cat.[(triple3)] @1: The cat likes the dog.[(((triple1) -> rule1))]