The cat sees the rabbit. The mouse visits the cat. The rabbit sees the mouse. The tiger sees the cat. If something sees the rabbit and the rabbit is green then the rabbit does not eat the mouse. If something is kind then it is green. If something sees the tiger then it does not eat the tiger. If something eats the cat then the cat is kind. If something eats the tiger and it sees the rabbit then it is kind. If something sees the tiger and the tiger sees the mouse then it is not kind. If something visits the rabbit and the rabbit is blue then it sees the mouse. If something visits the tiger then it visits the mouse.
The rabbit does not see the mouse.
@0: The cat sees the rabbit.[(triple1)] The mouse visits the cat.[(triple2)] The rabbit sees the mouse.[(triple3)] The tiger sees the cat.[(triple4)]