The cat needs the lion. The lion is cold. The mouse is cold. If the lion is big and the lion needs the mouse then the mouse is cold.
The lion does not need the cat.
@0: The cat needs the lion.[(triple1)] The lion is cold.[(triple2)] The mouse is cold.[(triple3)]