The cow is kind. The dog is big. The lion needs the dog. If something chases the cow and the cow needs the dog then the dog needs the cow.
The dog does not need the cow.
@0: The cow is kind.[(triple1)] The dog is big.[(triple2)] The lion needs the dog.[(triple3)]