The cat visits the lion. The lion is cold. The mouse is cold. If the lion visits the mouse and the lion needs the cat then the cat is not red. If something visits the cat and it is round then it does not chase the lion.
The lion is not cold.
@0: The cat visits the lion.[(triple1)] The lion is cold.[(triple2)] The mouse is cold.[(triple3)]