The cat is nice. The cow likes the cat. The mouse is blue. The tiger visits the cat. If something likes the tiger then it visits the tiger.
The tiger does not visit the tiger.
@0: The cat is nice.[(triple1)] The cow likes the cat.[(triple2)] The mouse is blue.[(triple3)] The tiger visits the cat.[(triple4)]