The cat is not blue. The lion visits the cat. The rabbit likes the cat. The tiger visits the rabbit. If something visits the lion then the lion visits the rabbit. If something is red and it does not need the tiger then it needs the lion. If something likes the cat and the cat visits the lion then it is red.
The lion does not visit the cat.
@0: The cat is not blue.[(triple1)] The lion visits the cat.[(triple2)] The rabbit likes the cat.[(triple3)] The tiger visits the rabbit.[(triple4)]