The cow is cold. The lion needs the cow. The lion visits the cow. If someone visits the cow and they need the lion then the cow does not need the lion. If someone visits the cow and they do not need the cow then the cow does not eat the lion.
The lion does not eat the cow.
@0: The cow is cold.[(triple1)] The lion needs the cow.[(triple2)] The lion visits the cow.[(triple3)]