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