The cow is cold. The lion needs the cow. The tiger is cold. If something is green then it likes the cow. If something likes the tiger then the tiger is kind. If something eats the tiger and the tiger is cold then it is red. All red things are kind. If something eats the cow and the cow eats the tiger then the cow eats the lion. If something likes the cow and it likes the lion then the cow is green.
The lion does not need the cow.
@0: The cow is cold.[(triple1)] The lion needs the cow.[(triple2)] The tiger is cold.[(triple3)]