The mouse visits the tiger. The squirrel sees the tiger. The tiger sees the mouse. If something visits the mouse then the mouse is kind. If something sees the mouse and the mouse is kind then it sees the squirrel. All kind things are green.
The squirrel does not see the tiger.
@0: The mouse visits the tiger.[(triple1)] The squirrel sees the tiger.[(triple2)] The tiger sees the mouse.[(triple3)]