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 cat does not need the lion.
@0: The cat is big.[(triple1)] The lion needs the cat.[(triple2)]