The cat is red. The mouse is round. The tiger likes the cat. If something visits the mouse and the mouse likes the tiger then the mouse visits the tiger. If the cat eats the tiger then the tiger visits the cat.
The mouse does not visit the tiger.
@0: The cat is red.[(triple1)] The mouse is round.[(triple2)] The tiger likes the cat.[(triple3)]