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