The bear is blue. The cat likes the tiger. The tiger visits the bear. If someone visits the bear and they do not like the cat then they like the bear.
The tiger does not visit the bear.
@0: The bear is blue.[(triple1)] The cat likes the tiger.[(triple2)] The tiger visits the bear.[(triple3)]