The cat is blue. The cat visits the tiger. The tiger visits the cat. If something chases the tiger then the tiger visits the cat. If the tiger is cold then the tiger likes the cat. All cold things are red. If something likes the tiger and the tiger is cold then it chases the tiger. If something chases the tiger then the tiger chases the cat. If something chases the tiger and the tiger likes the cat then the tiger visits the cat.
The cat visits the tiger.
@0: The cat is blue.[(triple1)] The cat visits the tiger.[(triple2)] The tiger visits the cat.[(triple3)]