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 cow does not like the cat.
@0: The cat is nice.[(triple1)] The cow likes the cat.[(triple2)] The mouse is blue.[(triple3)] The tiger visits the cat.[(triple4)]