The dog is young. The mouse sees the dog. If something visits the dog and it sees the dog then the dog visits the mouse. If the mouse visits the dog and the dog is green then the dog is young.
The dog does not visit the mouse.
@0: The dog is young.[(triple1)] The mouse sees the dog.[(triple2)]